A comathematician is a machine for turning cotheorems into ffee.

External Content not shown. Further Information. Not many links this time, sorry.