 Woodward (2003) focuses on systems of type influence. He proposes a series of non-reductive definitions which jointly characterize what it is for one type of variable, X, to directly influence another type of variable, Y, relative to a set of variables types, \(\mathbf{V}\), which contains both X and Y. First, we are told: