User blog comment:Bubby3/Bashicu matrix system analysis/@comment-11227630-20170718155118/@comment-30754445-20170720164455

Is there any proof that BM2 always terminates, though?