Some quantifiers

First, here is the definition of a quantifier from wikipedia. "In logic, quantification is the binding of a variable ranging over a domain of discourse. The variable thereby becomes bound by an operator called a quantifier." Let us revise some basic quantifiers.

1. Universal quantifier: "For every..." For example, For every real number x, 9x - 6 = 3*(3x - 2) is a true statement. 
2. Existential quantifier: "There exists..." For example, There exists a real number x such that 3x = 0 is also true.