A comathematician is a machine for turning cotheorems into ffee.

Meh. A lot of work to do. And playing Skyward Sword. So: Not many links this time again.