Although the post of Staffan Angere wanders rather far from foundations of mathematics, I post it because it is a reply to Arnon Avrom's recent post. But no more. I will not post further messages on this thread. Martin Davis Professor Emeritus, Courant-NYU Visiting Scholar, UC Berkeley eipye + 1 = 0