Paragraph

Contrapositive: \(\forall x (x^2 \ge 1 \imp x \ge 1)\text{.}\)