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

I know but now I'm trying to avoid contradictions and ambiguity.