Provability Counterfactuals vs Three Axioms of Galles and Pearl — LessWrong