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

I'm currently analyzing BM2. I'm currently at ε_3, but it's just a table with 229 ordinals. What do you mean by "careful and rigorous analysis"? Do you mean lots of ordinals in the table?