5 Dec
2011
5 Dec
'11
12:09 a.m.
Thanks all; I haven't quite gotten it to work, but I imagine I'll be able to now (after reading up on ExistentialQuantification). -- Scott Lawrence