Those of you who didn't encounter it in Douglas Hofstadter's Metamagical Themas, may like to read this on-line: http://math.cornell.edu/~chruska/recursive/moser.html Sonny