 of [bracket system]{}s for $(W, {\Delta})$ that transforms the empty [bracket system]{}  into the [bracket system]{} $\{  (|p_0|,|p_0| + |p_0|, k_r,  |{\Delta}_0(0)| ) \}$ and then continues to turn the latter into the final [bracket system]{}. It follows from definitions and bounds [