The second equality axiom was corrected in my VIGRE lecture notes, at http://www.mathpreprints.com/math/Preprint/HarveyFriedman/20030509/1/show/index.htt?Discussion=true#discussion Please report any other bugs you might find. Harvey Friedman