Item 0.2.15.a.

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

in-context