 The first is intuitively true, the second intuitively false. If that’s correct, then there are non-trivially true counterpossibles. These considerations impact on our preferred semantics for such conditionals, for the possible worlds semantics for conditionals has trouble accommodating this position. Yet the analysis in terms of worlds does a good job for conditionals with possible antecedents. This motivates a semantics for counterpossibles in terms of impossible (as well as possible) worlds. We will get into more detail in  section 2.5.