Due to circumstances beyond his control, Dave must postpone his talk on higher-rank polymorphism. Therefore, we will not meet this week. We will resume next Monday, the 15th, at 12:30 in WVH 166, with Carl's presentation on the Curry-Howard isomorphism. Richard