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