A mathematician is a device for turning coffee into theorems.
-- P. Erdos