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