Hey, Y'all should definitely sign up for slots with Pete Manolios. Besides being a generally smart and interesting guy, he's a good person to know in automated theorem proving and verification. Want to prove a theorem automatically? Pete can get it for you wholesale. -- David Fisher ** dfisher at cc