"In the choice between changing ones mind and proving there's no need to do so, most people get busy on the proof."