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

Speaking of which, here is a question for you:

Is the version of PSS that you've defined in your proof closer to BMS than the version I've create above?

Given that my version is BM1 with a very small modification, I really don't see how this can be possible. So if you want to shoot down my version as "not really PSS", you'll have to shoot down your own version as well.

(which would be a pity, given that all the trouble you've went into while proving it terminates...)