User blog comment:P進大好きbot/Evaluation of Analysis/@comment-11227630-20181120084906/@comment-30754445-20181120115419

The problem with all these "attempts to formalize" BEAF is that none of them obey a basic rule that Bowers layed down for his notation: That a "X & Y" array must actually correspond to a structure of X elements.

For example, there's currently no well-defined version in which the Triakulus ( 3^^^3 & 3 ) is expanded into a structure (a "3^^^3 pentational cube") of 3^^^3 threes. So these extensions cannot really be considered a valid version of BEAF. They may look the same superficially, but they are conceptually quite different.