How does one make ultracoffee? edit
With ultrafilters.
After all, it is said[by whom? Erdős or Rényi?] that, "A mathematician is a device for turning coffee into theorems."
Note also that the dual of the coffee -> theorem -> corollary sequence is more economical:
- Rollary -> cotheorem -> ffee.
The ultraversion of this argument cannot be posted due to WP:OR. Tkuvho (talk) 05:59, 7 March 2011 (UTC)