 a special arc of ${\Delta}$ and let there exist a sequence $\Omega$ of [elementary operation]{}s that transforms the empty [bracket system]{}  for $( W, {\Delta})$ into the final [bracket system]{}  and has size bounded by $