Greg Ewing writes: > This is a philosophical question. When you've eaten > the last chocolate, do you have an empty box of > chocolates, or just an empty box? That depends on whether you've lifted to the chocolate monad or not. Wondering-if-Saunders-Mac-Lane-liked-chocolate-ly y'rs,