Axiomatizing Causal Reasoning