User blog comment:Bubby3/Proof of termination of pair sequence system/@comment-30754445-20181119230115

You haven't proven that the BM2 algorithm for pair-sequences is indeed equivalent to Buchholz hydras.

In fact, you haven't even stated what that BM2 algorithm for pairs-sequences is (funny how nobody seems to be able to give an answer to this simple question).

All that you've shown is that there's a strong conceptual link between BM pair-sequences (in general) and Buchholz hydras, which is nothing new.