Peter Dillinger and I are preparing our talks for the ACL2 Workshop this Thursday and Friday. We are planning to practice them tomorrow, Peter at noon and myself at 3:30 in whatever space we can find (366 if available, otherwise 166 or 164). Come watch and inflict unbearable pain if you are available. -- Carl Eastlund