Paragraph

\(\exists y \forall x P(x,y)\text{.}\)

in-context