We often hear that mathematics consists mainly of proving theorems. Is a writer's job mainly that of writing sentences? —Gian-Carlo Rota (1980)