User blog comment:Billicusp/So I don't know if anybody noticed.../@comment-27173506-20160318160910

Looks cool, but I'm not so sure about the comparisons. This is not the first time Hollom has said "It happens with small ordinals like \(\omega\) and \(\varepsilon_0\), so it must happen with all ordinals of higher cardinality that look similar" and more often than not he was mistaken. I'm not saying that this system is weak (it quite clearly reaches well past \(\\psi(psi_I(0))\) or even \(\psi(\psi_I(I))\), I think), but I'll wait for the proof of his statements.