User blog comment:Bubby3/BM1 is weaker than expected./@comment-30754445-20180326110100/@comment-1605058-20180326125125

In my view, a careful and rigorous analysis would consist of a method of assigning an ordinal to arbitrary expression in the system (up to some point), like in the proof of hydra theorem, instead of a big table of comparisons. I suppose Psi refers to something along those lines.