Bob had inadvertently sent to FOM a message intended to be private. But he has graciously permitted me to post it. Martin Davis Professor Emeritus, Courant-NYU Visiting Scholar, UC Berkeley eipye + 1 = 0