A comathematician is a machine for turning cotheorems into ffee.

It has been a while, but now I have green tomatoes:

Amazing.