rank Vλ+1 to itself. This is closely related to the rank-into-rank axiom I1. See also List of large cardinal properties The Dehornoy order on a braid group was motivated by properties of huge cardinals. References . . . A copy of parts I and II of this article with corrections is available at the author's web page. Large cardinals