A mathematician is a machine for turning coffee into theorems - Alfred Rényi