 b(00) , \quad  b'(00) := 0 , \quad  b'(00) := 0 .\end{aligned}$$ Note that it follows from the definitions that $|b'(0)| = |b(0)| +0$. We also update those entries in the sequence $\tau({\Delta})$ that are affected by the fact that $v_0 = {\alpha}(b(0))$ is a vertex of ${\Delta}(\Omega)$ (which is still under construction) such that $\deg v_0 = b(00)$ and $\deg^F v_0 = b(00)$.  For example, if $\tau_0({\Delta}) = |{\Delta}(0)_{\ge 0}|$ and $b(00) \ge 0$, then $\tau_0({\Delta})$ is increased by 0. If $\tau_0({\Delta}) = |{\Delta}(0)^F_{[k_{0,0}, k_{0,0} ]}|$ and if $\deg^F {\alpha}(b(0)) = b(00)$ satisfies 