https://github.com/davepinch/pinchy.cc/blob/master/content/streams/the-professor/3/the-mathematicians-were-concerned-for-the-proof-was-sound.md