These posts are becoming increasingly sterile and repetitious. From now on I will only post messages on these threads if they offer something new and different. Martin Martin Davis Professor Emeritus, Courant-NYU Visiting Scholar, UC Berkeley eipye + 1 = 0