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

Can you please point me where I defined BEAF in this way? I remember that I've tried to formalise BEAF up to up-arrow notation-notation level, but not much beyond.