A comathematician is a machine for turning cotheorems into ffee.

(but thanks to the power of free software, this has been fixed already!)