Paragraph

Converse: \(\forall x( x^2 \lt 1 \imp x \lt 1)\)

in-context