QED

Mathematics is not a careful march down a well-cleared highway, but a journey into a strange wilderness, where the explorers often get lost. Rigour should be a signal to the historian that the maps have been made, and the real explorers have gone elsewhere.
W.S. Anglin, “Mathematics and History”, Mathematical Intelligencer, Vol. 14, No. 4, pp. [...]