Provability Counterfactuals vs Three Axioms of Galles and Pearl

Link post