http://www.cs.nyu.edu/pipermail/fom/1999-April/003014.html http://www.cs.nyu.edu/pipermail/fom/2002-June/005631.html http://www.andrew.cmu.edu/~avigad/Papers/elementary.pdf
