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

> What makes your accusation even more absurd, is the fact that I've never even claimed to have a solution at hand. All I said was that I have an idea regarding how to prove termination of the PSS version I've given here.

>> "I do know, however, that I won't need anywhere near 72 pages to write down the entire thing, because it's a pretty straight-forward argument."

Great! You can count the pages of your future entire proof before you obtain no solution to verify the most tiresome inequality, even though I told you that the inequality actually costed many pages! Then I apologise for what I said. You are not a cheater at all, but a fortune-teller :)

> And I've even emphasized that I'm not at all certain that my approach has merit.

It conflicts that your approach consists of "pretty-good" idea followed by "pretty straight-forward" argument such that you certainly know that it yields a much shorter proof than mine.

Well, then when will you finish writing? In a month? Please predict it.