Provability Counterfactuals vs Three Axioms of Galles and Pearl — AI Alignment Forum