In the light of ongoing discussion, there may be some interest in the following: http://www.princeton.edu/~osherson/IL/ILpage.htm Martin Davis Visiting Scholar UC Berkeley Professor Emeritus, NYU martin at eipye.com (Add 1 and get 0) http://www.eipye.com