Title: Proofs & Equational love
Subjects: Criticism and interpretation
People: Jim Johnstone (1978-)