Lemma 3.61 (076J)
0 tagged blocks link here.
David Ayala, John Francis, Nick Rozenblyum
Original source: arXiv:1504.04007v7