To all, I did not intend my message to Martin Davis yesterday to go to FOM. As a posting to FOM, it was a very rude message. Sorry! Bill Tait