In the excitement of my original post, I gave my e-mail address incorrectly. The correct address is jaffe at tove.cs.umd.edu Sorry for the bother. Looking forward to your responses! Laura