This coming Monday, I'll be talking about Modular ACL2 at the Boston Lisp Meeting. On Friday (tomorrow) I'll be practicing the talk in WVH 366 at 5pm. I would appreciate a few audience members for Torture Chamber-style feedback. Thanks in advance to all who attend. -- Carl Eastlund