Find a counterexample, if possible, to these universally quantified statements, where the domain for all variables consists of all integers.
- $\forall x \forall y (x^2 = y^2 \rightarrow x =y)$
- $\forall x \exists y (y^2=x)$
- $\forall x \forall y (xy>=x)$
