If any of these truths is necessary, and if we know any of them, then any time we try to verify that Nozick's condition holds, we cannot avoid counterfactuals with impossible antecedents; there are no possible worlds, or counterfactual situations, in which they are false.