0|W|, k_0)$.  Assume that the sequence $\Omega$ has an addition operation which introduces a starting bracket $c = (k,k,0,0,0,0)$ with $0 \le k \le |W|$. Since the final [bracket system]{} contains no starting bracket