\(\forall x \exists y (O(x) \wedge \neg E(y))\text{.}\)
\(\exists x \forall y (x \ge y \vee \forall z (x \ge z \wedge y \ge z))\text{.}\)
There is a number \(n\) for which every other number is strictly greater than \(n\text{.}\)
There is a number \(n\) which is not between any other two numbers.