“

A mathematician is a device for converting coffee into theorems.

”