Pens and Proof