 This entry will follow this widely used terminology to avoid confusion. However, this usage also promotes a confusion worth dispelling. Counterfactuals are not really conditionals with contrary-to-fact antecedents. For example  (2)  can be used as part of an argument that the antecedent is true (Anderson 1951):