\begin{definition}[Definition:Enough Constants]
Let $\mathbf C$ be a metacategory.
Then $\mathbf C$ is said to have '''enough constants''' {{iff}}:
:For all morphisms $f, g : C \to D$ with $f \ne g$, there is a constant $c: 1 \to C$ such that $f \circ c \ne g \circ c$
\end{definition}