User blog comment:Ecl1psed276/BM2 Analysis - A Summary/@comment-25337554-20180707092442/@comment-30754445-20180707231508

How ironic.

This just proves that even the most thorough analysis cannot replace an actual proof.

So, why is it "believed" that BM2 never terminates? Is there any reason at all to believe this, except wishful thinking?