User blog comment:Tetramur/The new formalization of BEAF/@comment-35470197-20200222073359/@comment-35470197-20200222075557

I guessed so. I remarked it because starting to define expansion rules before completing to define the recursive set of valid expression is usually a bad strategy.