When a thing is funny, search it for a hidden truth.
A mathematician is a device for turning coffee into theorems.