A mathematician is a machine for turning coffee into theorems.