User blog comment:Cookiefonster/My informal proposal of BEAF from limit of tetrational arrays up to SVO/@comment-5150073-20140920170843/@comment-1605058-20140927070502

Iko, Bowers left us no precise definition of BEAF. If we want to work with it, we need our own formalization of this notation, and it might be impossible for all of the "clues" Bowers has left to be satisfied in this system.