User blog comment:Wythagoras/BEAF:structures and ordinals/@comment-1605058-20131210201100

Question about first line - for me intuitively this is false, as, for example, (X^X)^X, by usual exponentiation rules, is equal to X^(X*X)=X^X^2.