 It should now be clear that a wide variety of central philosophical topics rely crucially on counterfactuals. This highlights the need to understand their semantics: how can we systematically specify what the world must be like if a given counterfactual is true and capture patterns of valid inference involving them? It turns out to be rather difficult to answer this question using the tools of classical logic, or even modal logic. This section will explain why.