 This again makes all counterfactuals whose consequent is necessary, or whose antecedent is impossible, vacuously true: there are no worlds to falsify the consequent, or to verify the antecedent. Counterfactuals with impossible antecedents are called counterpossibles. They don’t seem to be all vacuously true. An often-cited example from Nolan (1997):