Blerg. Slept in until like 11:40 this morning. Feel like crap. Though Tom7 has a talk soon on the modal logic stuff he's been hacking on, so that should be cool.