User blog comment:Tetramur/BEAF above SVO - comparison/@comment-5150073-20200219121934/@comment-5150073-20200221130705

I don't remember what I had in my mind when I analyzed BEAF in that way. Probably my method was previously inconsistent with Bowers' vision.

It is not very clear how to go up to {X,X+1 (1) X} from {X,X (1) X}, let alone higher expressions. But using some interpretation, if we have {X,X (1) X} = ψ(Ω↑↑ω), then {X,X,2 (1) X} = ψ(Ω↑↑Ω) by the same reason why if {X,X (1) 2} = ψ(Ω↑Ω↑ω), then {X,X,2 (1) 2} = ψ(Ω↑Ω↑Ω). Then I suppose that {X,X,3 (1) X} = ψ(Ω↑↑↑Ω), and then we go through hyperoperators around in the same manner.