Paragraph

If a number is rational, then it is real.

in-context