 This kind of reasoning is related to our assessment of certain conditional statements with impossible antecedents, often called counterpossible conditionals or, more simply, counterpossibles. These include statements such as, if Excluded Middle were false, classical logic would not be an acceptable logic. Let’s call a conditional like this trivially true when it is true and the conditional with the same antecedent and opposite (negated) consequent is also true. Consider these examples: