 That is, X belongs to a minimal set of variables \(\bX\), such that when we intervene to hold the variables in \(\bZ\) fixed at the values they actually take in w, Y counterfactually depends upon the values of the variables in \(\bX.\) We will illustrate this account with our examples of preemption and overdetermination.