Walking to campus, found Book Guy, who had Bill Bryson's "Notes from a Small Island" (about his experience as an american living in England) going for a mere $2. Read a few score of pages over lunch. Quite funny. I like it much better than "The Mother Tongue" and still somewhat more than "A Short History of Nearly Everything".
Had a crazy idea this morning about how it might be possible to use focusing make a purely syntactic proof of the soundness of labelled deduction, and emailed Frank. He seemed to think it was an interesting. He needs to stop encouraging my crazy ideas! I'm sure my subconscious will only start pumping out crazier and crazier ones in response.
