All in Proof