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