 B_0,  \dots, B_\ell$ be the corresponding to $\Omega$ operational sequence of [bracket system]{}s, where $B_0$ is empty and $B_\ell = \{ (0, |W|, 0, |{\Delta}(0)| ) \}$ is the final [bracket system]{}  for $( W, {\Delta})$.  