User blog comment:Denis Maksudov/Fundamental sequences for extended Veblen-function/@comment-28606698-20170224105339/@comment-24920136-20170224185808

But i thought the  point was to get to the LVO using theta alone.

anyway this is version is pretty clean if thats what you are wondering