User blog comment:P進大好きbot/Please Help me on study of Pair Sequence System (2-rowed Bashicu Matrix System)/@comment-30754445-20180813155654/@comment-32697988-20180813161427

I do care about this, although maybe not as much as you, and I am actually thinking about making a formal proof about the strength of BM1. However, sometimes I also do not formally proven analyses (which I am not going to do when proving the strength of BM1.)