... you should probably think of contraceptives in terms of "all" as in ... "none" being the contrapositives of "some". This is perhaps ... is the Schrodinger's cat of existential quantifiers. Without peering ... will know whether its contrapositive is valid or not.