http://www.math.uchicago.edu/~chruska/recursive/moser.html