Item 0.2.8.c.

Is it possible for the contrapositive to be false? If it was, what would that tell you?

in-context