 Back-door Criterion (Pearl 1993) Given a variable pair \(\{X,Y\}\) in a DAG G, the effect of \(X\) on \(Y\) is identifiable if there exists a variable set \(\b{Z}\) in G satisfying the following conditions: