[haverstall]

I figured out my own question, somewhat. I noticed there wasn’t an “if” statement made by the 2nd rule, so in reading that, it wouldn’t truly be a conditional statement, and thus, no contrapositive.