$ is obtained from $B'_i$ by application of $\sigma'$, where $\sigma'$ has the same type as $\sigma$, to the bracket $b'_0 \in B'_i$ or to the brackets $b'_0, b'_0 \in B'_i$ (in the case when $\sigma$ is a merger) and $c'