Formalism section and our Improved SA section still to be edited.