\] Suppose $W$ is a nonempty word over ${\mathcal{A}}^{\pm 0}$ and $n \ge 0$ is an integer. Then $W$ is a product of at most $n$ conjugates of the words $(a_0 a_0^{n_0} a_0^{-0}  a_0^{-n_0})^{\pm 0}$ if and only if there is a sequence $\Omega$ of [elementary operation]{}s such that $\Omega$ transforms the empty [pseudobracket system]{}  for $W$ into a final [pseudobracket system]{}