Fix typo in definition of Z'
Add exposition for conditional vs. unconditional expectation
Add missing theorem reference in HH footnote
Revise proof of convergence of square terms

Add much more detail and make it much more correct
Simplify UI result
Refine bound on square terms