For some reason I just feel insanely busy this week, even though not that much is going on really. Had a nice work-related chat with Iliano Cervesato today since he is back in town for a little while. Talked about miscellaneous LF things, lots of fun. D's in the evening unusually involved a bunch of KGB kids who tried to see a movie at the Regent Square theater but failed due to bus lateness.