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