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

No. Ikosarakt started to expand expressions past LVO and stopped at {X,X(1)X} that is BHO in this system. Look at his comment at link I gave in second reply - I tried to translate his unspecified (Feferman's theta?) OCF into Buchholz's psi function in this page.