User blog comment:Edwin Shade/A Complete Analysis of Taranovsky's Notation/@comment-30118230-20180201150715/@comment-32697988-20180202173120

I guess if BM2 was wel-defined it will be as strong as or stronger than TON. BM2 is a simple notation but TON is also simple. (I'm not saying that BM2 will reach Z2 because it's not proven that TON reaches Z2.)