Capabilities [of sequential substitution systems]

Even with the single rule {s[1, 0]  s[0, 1]}, a sequential substitution system can sort its initial conditions so that all 0's occur before all 1's. (See also page 1113.)