De Morgan's Laws (Predicate Logic)/Denial of Universality

Theorem
Let $\forall$ and $\exists$ denote the universal quantifier and existential quantifier respectively.

Formulation 2
In text, this can be summarised as:
 * If not everything is, there exists something that is not.