Turning coffee into theorems, in the Grand Canyon
