  This paper explores various generalizations of the Mitchell order focusing
mostly on a generalization called the internal relation. The internal relation
lacks the implicit strength requirement in the definition of the Mitchell
order, and therefore can fail to be wellfounded. We establish some constraints
on the illfoundedness of the internal relation, which leads to a proof of a
conjecture of Steel regarding rank-to-rank cardinals.
