"The first draft is just you telling yourself the story."
"We are all in the gutter, but some of us are looking at the stars."
The development of formal systems has revolutionized our understanding of mathematics.