User blog comment:Ecl1psed276/BM2 Analysis - A Summary/@comment-25337554-20180707092442/@comment-32697988-20180708005548

It is believed that BM2 terminates, not "BM2 never terminates".