In a contrapositive, does the "if" clause become the necessary condition and the "then" clause sufficient? since it's flipped around?