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

"Obvious, because you are not trying to prove the termination of PSS."

The notation proposed here is basically BM1 with a tiny modification. In fact, it resembles the original (faulty) PSS far more closely than all the wacko new versions (which are, apparently, so complicated that no-one knows how to write down an explicit rule set).

And I gotta tell you, that you're just being rude now. How would you like it if someone had written such a sarcastic remark aimed at your 72-page proof? "Hey, it's not PSS, because you created a different set of rules".

Would you've liked that? Probably not. So why are you doing that to others?