I summarize the results of my thesis, providing a generating set for the regular functions under composition, an axiomatization of WS1S, and a few key results about nonstandard models of WS1S.