Is it the function of a proof to convince us? Has the proof done its duty when it has convinced us?