User blog comment:Rpakr/A Formal Definition of Pair Sequence System using BM1 Rules/@comment-25337554-20180814232242/@comment-25337554-20180815223609

I understand.