1: \begin{definition}\label{defn:witness}

2: When $L$ is any set of minimal generators of $M$ that satisfies the three conditions of Theorem \ref{thm:pdim-equiv-dom-set-strong}, 

3: then $L$ witnesses $\pdim(S/M) = n$, and we say $L$ is a \emph{witness set}. The monomial $x^\alpha\in S$ is a \emph{witness lcm} if $L$ is a witness set and $x^\alpha=\lcm(L)$.

4: \end{definition}

5: