Causal modeling of MAPK signaling pathway. Circles are variables, double circles are variables intervened upon, squares are deterministic functional assignments, gray nodes are observed variables, and white nodes are hidden variables. (a) Structural causal model. , and are statistically independent noise variables. Root node is only dependent on noise variable . Non-root nodes and are dependent on their parent and on the associated noise variable. (b) Counterfactual model. The intervention fixes the count of phosphorylated to , such that is no longer dependent on and . Given an observed data point, counterfactual inference infers the noise variables , and .