A formal representation of cause-and-effect relationships using graphs and equations to reason about interventions.