Item 0.2.15.b.

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

in-context