SUPPORT: restore some results
SUPPORT: amendments
SUPPORT: tweak
SUPPORT: tweak supporting results
SUPPORT: Work on supporting proofs
SUPPORT`
SUPPORT: Clean up and finish convergence Lemma in appendix
SUPPORT: Add key convergence results to appendix

Adds results for sup_{t=R+1,...,R'}
SUPPORT: Clean up intermediate convergence results
MAIN PROOFS: restore some results
MAIN PROOFS: unclear amendments
MAIN PROOFS: some work
MAIN PROOFS: Revise and clean up proof of Theorem 1
In-progress edits to theory
TEXT: some edits
TEXT: unclear edits
TEXT: remove some of the material added earlier
TEXT: minor changes
TEXT: Intermediate commit