Day 1 of learning Manim. This is the liar's paradox in sequent calculus presented as transformations.

3 likes 0 replies