The convention and its forced ordered values

Zero observations give the trivial zero pair and are not covered by the nonzero assertion. For the detecting data, the supplied witness ensures that $\mathcal{O}$ is not the zero polynomial. The correction in (eq:ordered-values) is necessary, not a choice made to remove a witness.