Item 0.2.15.d.

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

in-context