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

+Rpakr There doesn't seem to be any logical reason for why BMS should reach Z2,and TON is probably much stronger than Z2 and CoC,maybe even ZFC. And again,BMS might not be well-defined.