Change some acronyms to small-caps
Move some of the less interesting proofs to a supplemental appendix