A mathematician is a machine for converting coffee into theorems.