We know that if a set Z of variables blocks all back-door paths from X to Y, then conditional on Z, do(X) is equivalent to see(X). We can, therefore, write P(Y | do(X), Z) = P(Y | X, Z) if Z satisfies the back-door criterion. We adopt this as Rule 2 of our axiomatic system.
