[phantarch]

You're right, thanks.

[ouid]

just edit your comment to say converse instead of contrapositive. The contrapositive of a statement is logically equivalent to the statement itself.