A formal framework for determining whether a specific event caused another specific event by analyzing counterfactual scenarios.