Whether or not we try to revise the theory of the counterfactual to take care of impossible antecedents, or we attempt to adopt a different replacement for the third condition in the case of knowledge of necessary truths, the amendment would be pointless if it left the entire theory for contingent statements unchanged.