[math-fun] coffee-ordering logicians