(Hare discusses the following instance, “Post the letter; so post the letter or burn it”, 1967: 25–34). And yet it is equally true with (B) as with (A) that the premise cannot be satisfied without the conclusion being satisfied. Moreover, (B) can be derived from (A) by contraposition and substitution. If (A) is valid, so should (C) be: