Counterfactual planning is a design approach for creating a range of safety mechanisms that can be applied to AGI systems. This sequence introduces the graphical notation used in counterfactual planning, and it defines several safety mechanisms.