Describes a counterfactual conditional read as the statement that had the antecedent been true, then the consequent would have been true. Would counterfactuals are distinguished from might counterfactuals, which assert only that the consequent might have obtained. Philosopher David Lewis (1941–2001) asserted that would and might counterfactual conditionals are related by a duality with respect to a negation by the admissible inferences: