Mathematicians turn coffee into theorems