User blog comment:PsiCubed2/My own version of BMS/@comment-35470197-20181120231600/@comment-30754445-20181121152814

You sound skeptical...

Take it to the complete extreme case, and you'll see why my statement makes sense:

Take the known recursive rules of Buchholz Hydras, and transform them carefully to PS rules. The resulting rule-set will be a convoluted mess, yet the proof would be trivially easy.

So yes, I've proven a case whose rule-set is more complicated when written down, but which is easier to prove because it mimics the hydras more closely. Not sure what's so difficult to understand here.

P.S.

I guarantee you that the proof for the notation presented here (assuming it works properly) will be far shorter than 72 pages.

P.P.S.

Your comment regarding PPS was hardly helpful...