Item
1
.
\(\{x \st x + 3 \in \N\}\text{.}\)
in-context