A mathematician is a machine for turning coffee into theorems.
—Alfréd Rényi
A comathematician is a machine for turning cotheorems into ffee.
—Unknown