et $\varphi$ be a complete ${\mathsf{BSTC}}$-formula in choice-flat form, $\mathsf{V}_{0}$ the set of individual variables occurring in it, and ${\mathtt{c}}(T_{0}),~\ldots,~{\mathtt{c}}(T_{k})$ the choice terms occurring in it. 