Paragraph
The skeleton of the proof of
\(P \imp Q\)
by contrapositive will always look roughly like this:
in-context