Wait so then why do you take the contrapositive for translation if the claim isn't actually valid that way?