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