User blog comment:Vel!/FGH Gripe/@comment-80.98.179.160-20180109121206

True: By modifying Wainer hierarchy to make:
 * ω^ω=sup{n^n, n<ω}
 * ω^ω^ω=sup{n^n^n, n<ω}
 * e0=sup{n^^n, n<ω}, we can make the MFGH e0 to be FGH ω
 * e0=sup{n^^n, n<ω}, we can make the MFGH e0 to be FGH ω