Item 0.2.19.c.
\(\exists x \forall y \forall z (y \lt z \imp y \le x \le z)\text{.}\)
in-context