Title: In the Presence of Proof