User blog comment:Nayuta Ito/faketest/e0/@comment-30754445-20180804174000/@comment-30754445-20180805011157

Hmmm... interesting. I admit that you've piqued my interest now.

Basically we have U(Ω2*a) = ψ(ψ2(a-1)) up to Ω2

Now, assuming this holds further (and I'm not convinced that it would) then we'll eventually reach:

U(Ω2↑↑ω) = ψ(ψ2(Ω2))

Which is precisely what is claimed.

So apparently, it can be made to work. The "extra work" is done by the omega_2 at the bottom of the power tower.

So I was wrong on that point.

But I still don't see how this version is any "simpler" then the usual approach. Am I still missing something?