"A mathematician is a device for turning coffee into theorems" -- P. Erdos -- One of Nadav Har’El's Email Signatures.