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