Paragraph
Converse:
\(\forall x( x^2 \lt 1 \imp x \lt 1)\)
in-context