 We interpret the counterfactual conditional \(A \boxright B\) as saying that B would be true, if A were made true by an intervention. The language of structural counterfactuals does not allow the connective ‘\(A \boxright B\)’ to appear in the antecedents of counterfactuals. More precisely, we define well-formed formulas (wffs) for the language inductively: