Comparative syllogism and counterfactual knowledge