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.

is really

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