User blog comment:Syst3ms/STON 2 : BMS and the Star/@comment-33713741-20190904131346/@comment-34422464-20190904142005

TON has a hydra based definition which works from what I can tell. I'm pretty sure most people believe BM4 terminates because it doesn't have any weird cases, but I think it's a bit dubious.