Lemma 3.20 (06EK)
0 tagged blocks link here.
Ben Elias, Geordie Williamson
Original source: arXiv:1309.0865v1