User blog comment:Cookiefonster/My informal proposal of BEAF from limit of tetrational arrays up to SVO/@comment-5529393-20140927051331

It seems reasonable that once you get to the SVO, you can keep on going until you reach the LVO, which would be {X,X / 2}. But there are many details that need to be dealt with. The first question is what expressions are allowed as separators. In particular, for what A and B is A^^B an allowed expression? From the above, we see that X^^X and X^^(2X) are allowed. If A = X, can B be any allowed expression? Can A be anything other than X? Also, it seems that you want to have X^(X+1) as a separator, while X+1 is not itself a separator. So the possible expressions for B need to include things that are not separators alone. It's actually quite a complicated issue.