This save introduces the necessary mathematical formalism to build a Kogge-Stone adder in traditional ARAY logic. With only logarithmically many stages, these adders are much faster on long numbers than ripple carry ('grade school') adders.