John Murph Fri, 16 Oct 2009 08:35:14 -0700
Condolences, and congratulations. I think...
:) -- John Murph Automated Logic Research Team