Clearly some counterfactuals with impossible antecedents are asserted with confidence, and should therefore come out true: If there were a decision procedure for logic, there would be one for the halting problem.