Programming needs caffeine, and lots of it. Suppose you go to the Unicorn Cafe for a cup of coffee, to bring back to the lab so you can drink it while you are working. You like your coffee to be as hot as possible, but you also like it with milk. In order for your coffee to be as hot as possible when you sit down to work, should you add the milk before you leave the Unicorn, or after you return to the lab? You can assume that the trip is short enough for the difference to matter, that you have milk at the same temperature in both places. Use QP theory to express your argument in OpenCyc.