universal_formulas

A list of universal formulas.

at most $n$ elements	$\forall x_0,\ldots,x_n\ (x_0=x_1\mbox{ or }x_0=x_2\mbox{ or }\ldots\mbox{ or }x_{n-1}=x_n)$
integral	$\forall x,y\ (x*y=0\implies x=0\mbox{ or }y=0)$