Ann and Kevin couldn't come to practice this morning, but Matt Joffee was there and we had a pretty good bit of playing around.

Thought a little more about the old 'alpha-varying code' idea in terms of encoding it in twelf.

There was another big gaming night in the Math-Physics lounge tonight. I could feel my brain still trying to match Set sets even after I stopped playing.