A comathematician is a device for turning cotheorems into ffee.