4.2 Counterfactual

Some useful background