Logical Counterfactuals and Proposition graphs, Part 1 — AI Alignment Forum