Lemma 8.35 (06DG)
0 tagged blocks link here.
Elias, Ben, Hogancamp, Matthew
Original source: arXiv:1801.00191v1