After all the shopping, I pretty much staged a lock-in on Sunday, playing with some software on my laptop and reading some papers. I am discovering logic languages all over again, and in particular F-Logic, which is entirely cool. I read the manuals of both Florid and Flora-2, but couldn't get the latter to install because of some disagreements between my versions of XSB (a prolog-like language) and Flora-2. I also finished a copy of The Economist I bought a week earlier, and made some more progress on the Steinbeck novel I'm reading.