User blog comment:Tetramur/Pentational arrays and beyond - comparisons/@comment-37993808-20200108130039/@comment-35470197-20200108132419

An explanation of how it is intended to work is not a definition. At least, your statement So, I think that BEAF is fully formalized and well-defined (currently until SVO) is non-sense. If there is no written definition, it can never be fully formalised and well-defined. Show us the precise definition which exists only in your mind.