Joe English

A device for turning cotheorems into ffee

A mathematician is a device for turning coffee into theorems.
—Alfréd Rényi

Thus by duality, a comathematician is a device for turning cotheorems into ffee.
—Corrolary