Description: "A Graphical Notation for the Lambda Calculus with Animated Reduction." - David Keenan, 1996, on the use of a notation inspired by Laws of Form.