Faced with the choice between changing one’s mind and proving there is no need to do so, almost everyone gets busy on the proof.