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

Thank you! I am looking forward to seeing it. If my explanation on how to define a computable notation above is ambiguous, please ask me.