... are no contrapositive for some, and that contrapositive is just ... AB"
Then the contrapositive (the equivalent statement) would ... statement, but no contrapositive because there is no ...
Then does that mean contrapositive requires statement to involve ...