User blog comment:Ikosarakt1/FB100Z's variant of BEAF/@comment-10429372-20140807164242/@comment-5150073-20140807171455

There are 2 "natural" BEAFs. The first is FB100Z's variant and the second isn't formalized yet (it must allow that {ω,a (1) 2} is namely a linear array with "a" entries and not just  "ω" and "a" in the first row and "2" in the second).