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