a machine for turning coffee into equations
a machine for turning coffee into theorems" (from Paul Hoffman's The Man Who Loved Only Numbers )
a machine for turning coffee into theorem s
a machine that converts coffee into theorems
a machine that turns coffee into theorems
a system for turning coffee into theorems