A mathematician is a system for turning coffee into theorems.
(Paul Erdos)

A comathematician is a system for turning theorems into coffee.
(Tim Poston)