For every integer $n > 23$, $n^2 \\leq 529$

For no integer $n > 23$ is $n^2 > 529$

There exists $n \\leq 23$ such that $n^2 > 529$

There exists an integer $n > 23$ such that $n^2 \\leq 529$