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

I don't see a point in making up wild guess regarding the strength of BMS when we don't even know whether it defines a total function or not.

Also, we don't know how strong TON is. The experts here seem to be of the opinion that it is probably much weaker than SOA, perhaps at the order of Pi13-CA. On what grounds are you saying that BMS definitely doesn't reach this level?