1: \begin{definition} Let $\widetilde{\mathfrak{S}}_P$ denote the set of true slack matrices of polytopes in the combinatorial class of $P$, or equivalently, the set of all nonnegative matrices that satisfy the

2: three conditions of Theorem~\ref{THM:slackconditions}.

3: \end{definition}

4: