 Both concepts are ways of articulating the idea that S’s beliefs must be formed in a way that is responsive to p being true. The semantics of counterfactuals have interacted with this project in a number of ways: in establishing their non-equivalence, refining them, and adjudicating putative counterexamples.