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

Deleted and written all again. I try to define this, but this is running from me.