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

Using your alternative, (X^X)^X = X^(X+1). So it is still wrong.