Condolences, and congratulations.

I think...

:)

-- 
John Murph
Automated Logic Research Team

Reply via email to