Item
3.3.5.c
.
\(\forall x (x \lt 1 \imp x^2 \lt 1)\text{.}\)
in-context