Title: a question of proof