Example 2.2 (09N3)
0 tagged blocks link here.
David Gepner, Moritz Groth, Thomas Nikolaus
Original source: arXiv:1305.4550v1