User blog comment:Tetramur/BEAF above SVO - comparison/@comment-5150073-20200219121934/@comment-35470197-20200219122533

According to the OP's description, the OP regards the original BEAF as a fully formalised and well-defined notation. In that case, it is not so strange for the OP to regard your work up to a lower level as a fully formalised notation beyond that level.