I didn't have time to get all the readings done, so Felix and I will postpone our talk on virtual types until early next semester. We will *not* meet tomorrow. Upcoming talks: 11/17: Dave and Ryan on graph reduction 11/24: Thanksgiving 12/1: Felix and Dale on *-unification Richard