... that? I think the best way to start is to first simplify the statement ... before figuring out the contrapositive. To do that, take the embedded ... sufficient terms that should occur to give us the necessary ... stated another way P--->(~B--->M) : going to the ...