Fix constant term in u.i. lemma
Change notation for conditioning on block lengths
Add timestamp to each page
Finish stochastic equicontinuity proof