Lost in Proof