I think he is arguing that they don&#x27;t aid in counterfactual reasoning. They provide no facilities to help you yourself discover contradictions. This isn&#x27;t about automating proofs, just helping you think through the problem.