Lemma 6.4 (09PH)
0 tagged blocks link here.
David Gepner, Moritz Groth, Thomas Nikolaus
Original source: arXiv:1305.4550v1