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