Motivating a Semantics of Logical Counterfactuals — AI Alignment Forum