Models based on potential outcomes, also known as counterfactuals, were introduced by Neyman (1923) and later applied to observational contexts by Rubin (1974). Such models are now used extensively within Biostatistics, Statistics, Political Science, Economics, and Epidemiology for reasoning about causation. Directed acyclic graphs (DAGs), introduced by Wright (1921) are another formalism used to...