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

> No, I'm currently trying to formalise BEAF above SVO.

But you wrote the following:


 * Weak BEAF" is old BEAF, "middle BEAF" is BEAF-HDI, and "strong BEAF" is BEAF-BSC. Bowers largely agrees with the "strong" BEAF. So, I think that BEAF is fully formalized and well-defined (currently until SVO and maybe even further).

You also deleted the following:


 * So, I think that BEAF is fully formalized and well-defined (currently until SVO). No, actually it is unformalized.

It means that you are beliving again that BEAF is fully formalised and well-defined.