Wrote difficulty of finding an SA in the form of a lemma and fixed a couple of things in the proof
Needed for formatting according to standard ASA guidlines
Changed formatting to be consistent with ASA guidelines
Fixed most of the citations to be parenthetical or not as appropriate