User blog comment:Vel!/Ordinal BEAF/@comment-25291678-20141113203006/@comment-2033667-20141113210919

I came back to this in User:Vel!/BEAF, which turned out to be erroneous. I've pretty much abandoned formalizing BEAF; I now consider it a waste of time. If Bowers never bothered to create a well-defined notation, he does not deserve enough respect for me to do it for him.