... did I get that? I think the best way to start is to first simplify ... 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 park ...