A comathematician is a machine for turning cotheorems into ffee.

External Content not shown. Further Information.