Move some of the less interesting proofs to a supplemental appendix
tweak wording
Add to proof of sigma-star convergence
More work
Finish up sigma-hat convergence