Let us find a counter example to the following universally quantified statement, where the domain for all variables consist of all integers:
∀x(x2≤x3)\forall x (x^2\leq x^3)∀x(x2≤x3)
Indeed, for the integer number x=−2x=-2x=−2 we have that x2=4,x3=−8x^2=4, x^3=-8x2=4,x3=−8. Therefore, it is not true that
x2≤x3x^2\leq x^3x2≤x3.