Item 0.2.17.b.
\(\forall x \exists y (\sin(x) = y)\text{.}\)
in-context