Proof (0LLK)
0 tagged blocks link here.
David Gepner, Joachim Kock
Original source: arXiv:1208.1749v5