We often hear that mathematics consists mainly of “proving theorems”. Is a writer’s job mainly that of “writing sentences” ? – Gian-Carlo Rota (1932-1999).