Quantifiers

$\forall$ means “for all”. $\exists$ means “there exists”.

To disprove a $\forall$ statement, you need one counterexample. To prove a $\exists$ statement, you need one example.

The negation of “for all $x$, $P$” is “there exists $x$ where $P$ fails”.