 If the antecedent is a disjunction of atomic propositions, or a disjunction of conjunctions of atomic propositions, then the consequent must be true when every possible intervention or set of interventions described by the antecedent is performed. Consider, for instance, 