The Book of Why: The New Science of Cause and Effect (Penguin Science)

by Judea Pearl

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)