A rule of contraposition