The Mechanics of Proof — The Mechanics of Proof, by Heather Macbeth