Paragraph

Let's think a little about which part is which. Is \(P \imp Q\) the “if” part or the “only if” part? Consider an example.

in-context