  Suppose $b$ is a starting bracket, $b \not\in B$, and $B \cup \{ b\}$ is a [bracket system]{}. Then we may add $b$ to $B$ thus making an [*addition*]{} operation over $B$.  *Extensions*.  Suppose $B$ is a [