Deconfusing Logical Counterfactuals — AI Alignment Forum