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