User blog comment:Rpakr/A Formal Definition of Pair Sequence System using BM1 Rules/@comment-35470197-20180814221408

Pair(n,S) is multiply-defined.