Universal quantifier
Propositions can be falsified. To falsify a proposition which contains a universal quantifier, it is sufficient to find one element of the universe of discourse where the proposition is false. This element is known as a counterexample.