Item 0.2.19.a.
\(\forall x \exists y (y^2 = x)\text{.}\)
in-context