 Perhaps the most influential semantic puzzle about counterfactuals was highlighted by Goodman (1947), who noticed that adding more information to the antecedent can actually turn a true counterfactual into a false one. For example,  (20a)  could be true, while  (20b)  is false.