Title: a question of Proof