Morning, all. PL Jr. will meet today at 12:30 in WVH 166 as usual. Dave is presenting a paper on higher-rank polymorphism. We will *not* meet next week (11/8) as the conference rooms are taken up with official-building-opening stuff. Our next meeting will be on 11/15, when Carl will discuss the Curry-Howard Isomorphism. See you there! Richard