Item
0.2.16.d
.
\(\forall x \forall y \exists z(x \lt z \lt y \vee y \lt z \lt x)\text{.}\)
in-context