Picked up a Ben Folds ticket this morning in the second-pass ticket handout. Got there about a half-hour early. The line got significantly longer afterwards. I've never been a big fan of this whole going-to-live-concerts thing, but, I mean... Ben Folds... I am a sucker for piano virtuosity, I suppose. Got the complexity theory midterm handed out. Looks challenging, but interesting and not insurmountable. Made some progress on it. Type systems mumbled more about recursive types. Thought more about researchy stuff. I think this whole eliminating-negative-! thing is on extremely shaky ground now. The proof-well-ordering idea just plain doesn't work. Maybe there's some other way around it, though. The basic intuition still seems to be plausible. D&D happened as usual, followed by JM.