Zibaldone 1

A mathematician is a machine for turning coffee into theorems. – Alfréd Rényi

A comathematician is a machine for turning cotheorems into ffee.