Quinn comments on (A → B) → A in Causal DAGs