http://www.mathpreprints.com/math/Preprint/HarveyFriedman/20031218/1 http://www.mathpreprints.com/math/Preprint/HarveyFriedman/20031209/1 Harvey Friedman