Lemma 2.54 (073V)
0 tagged blocks link here.
David Ayala, John Francis, Nick Rozenblyum
Original source: arXiv:1504.04007v7