\begin{definition}[Definition:Existential Quantifier/Exact]
The symbol $\exists_n$ denotes the existence of an exact number of objects fulfilling a particular condition.
:$\exists_n x: \map P x$
means:
:'''There exist exactly $n$ objects $x$ such that $\map P x$ holds'''.
It is a variant of the existential quantifier $\exists$: '''there exists at least one'''.
\end{definition}