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

The next question, of-course, is: Does BM2 also break down at some point? And even if it doesn't, is it as strong as advertised?

Let's start easy:

Anybody here game to write a thorough and careful analysis of BM2 up to (0,0,0)(1,1,1)? And I do not mean just a table with a bunch of ordinals. We already know how untrustworthy such "analyses" are. What we need is an actual careful and rigorous analysis of how the notation works.

(and don't look at me for doing this. I know my limits and my understanding of ordinals beyond the BHO isn't solid enough for me to be useful on this front)