A mathematician is a machine for turning coffee into theorems. Yes, mathematicians turn coffee into theorems. But that's not all they do.