 The definition makes reference to the notion of an intervention. (Notice: though Woodward is explicating the relation of type influence, any particular intervention will be a token occurrence.) We saw how interventions are formally modeled in the previous subsection; but Woodward gives the following definition of an intervention in terms of an intervention variable. We are told: