Machine for turning coffee into theorems + practitioner of the dismal science = machine for turning coffee into dismal theorems? machine for turning dismal coffee into theorems?

(Apologies for this attempt at a joke – with several staff on leave, nothing much has happened so far this semester, but we expect some interesting news before the end of the year).