User blog comment:Wythagoras/Very strong variant of BEAF/@comment-11227630-20131010013025

ψI(0) = first fixed point that α -> Ωα =ΩΩ Ω... with ω Ω's. So ψI(0) is an uncountable ordinal and cannot be used in FGH.(fΩ(n) doesn't exist.) ψ(ψI(0)) is countable and can be used instead.

The limit of this sequence { {[L,L]}n,n, {[L,L,L]}n,n, {[L,L,L,L]}n,n, ...} is {[L,X(1)2]}n,n and not {[L,L(1)2]}n,n.