Universal Statement

A universal statement $S$ is a Formula whose Free variables are all in the scope of universal quantifiers.