User blog comment:Googleaarex/Bashicu Matrix System Analysis (Part 1)/@comment-30754445-20170724222847/@comment-25601061-20170724232448

Well, after Bashicu made BM2, there is no proof that it always terminates, but there is no counterexample either, so we can analyze for now.