User blog comment:Ecl1psed276/BM2 Analysis - A Summary/@comment-25337554-20180707092442/@comment-168.244.11.47-20180707195132

PsiCubed, I believe the smallest BM1 expression that doesnt terminate is (0,0)(1,1)(2,1)(3,1)(2,0)(1,1)(2,1)(3,1). The bad root of this expression SHOULD be (0,0) but it is in fact (2,0) according to the BM1 rules. This causes an infinite loop. The ordinal limit of BM1 is phi(1,0,w+1). And one more thing, this page is about BM2, not BM1. BM2 is believed to terminate in all cases, although nobody has proved this. (This is ecl1 by the way)