Item
3.1.17.a
.
\(\neg \forall x \forall y (x \lt y \vee y \lt x)\text{.}\)
in-context