... the best way to start is to first simplify ... out the contrapositive. To do that, take the embedded ... />
How/why did we do that? What's happening here ... a step by step application of the arrow to ... switch "and" with "or" when getting the contrapositive).
...