Math for Causal Inference
All simulators

do-Calculus, Step by Step

Walk through the back-door, front-door and g-formula derivations with each rule's d-separation checked in its modified graph.

Day 55: The Rules of do-Calculus
G with arrows out of X removed
UXMY
Rule 2: is (M ⫫ X) in this graph? Yes ✓

Step through a derivation. For each step that uses a rule, the panel builds the modified graph the rule requires and checks the d-separation live. Conditioned nodes are grey; the two sets that must be separated are blue and green; U is unobserved.