A question of proof. (2012)