Dear subscribers, After consulting our editors I am closing this thread which seems to have passed the point of diminishing returns, and has had only a rather indirect connection with f.o.m. Martin Martin Davis Visiting Scholar UC Berkeley Professor Emeritus, NYU martin at eipye.com (Add 1 and get 0) http://www.eipye.com