grammarnerd, but it turned out we were two hours late, so we listened to whoever it was that had come on stage by then for a little while (they were still pretty good) and played hangman. (highlights: "myopia", "ziggurat")Despite almost total delinquency since coming back to pittsburgh (which I mentally justify by the fact that I put in quite a few nearly full days of work over break) I am still progressing quite rapidly towards having this Twelf proof of the correctness of Gödel's box-translation be really done and not just "essentially" done, which is the state it's been in for a week or so.
