# Genuine Variable

A genuine variable is a free variable such that the universal quantification of it yields a formula that is true. It represents any value.

A genuine variable is the opposite of an Unknown Variable.

$x+x=2x$ is really $∀x•x+x=2x$

Above x is a genuine variable because all values of x satisfy this formula.