Oh, so we do have a homework for Type Systems. I should... probably do it or something. Finished "The Sun". Worked on Complexity Theory a little. Went to KGB. Left KGB due to moderate annoyance. Got groceries. lincoln3 made me watch the Babylon 5 pilot and first episode. Weird show.