Related:

• A mathematician is a machine for converting coffee into theorems.
• A mathematician is a machine for converting coffee into theorems. -- Paul Erdo
• A mathematician is a device for turning coffee into theorems. -- P. Erdo
• Firmware update in the coffee machine
• operators on strike due to broken coffee machine
• All obvious theorems are true. -- Pommersheim's Principle All true theorems are obvious.
  -- Keane's Kriterio...
• For numerical analysis, there are theorems that are true, and theorems that are REALLY true.
  -- John Dennis (in Upson's Familiar Quotations)...