 On the other hand, one might go in the other direction, using the SEF approach to deliver the truth conditions for counterfactuals by treating the structural equations (such as SH = ST) as representations of causal dependency relationships, which in turn deliver those truth conditions (Galles &amp; Pearl 1998, Woodward and Hitchcock 2003, Schulz 2011, Briggs 2012). Relatedly, one might eschew a Lewisian, miracle-based conception of an intervention and define interventions in explicitly causal terms (see e.g. Woodward and Hitchcock 2003: 12–13).