However, as I remark in the main text, Nozick's explicitly stated proof that knowledge is closed under existential generalization makes the same fallacy in counterfactual logic as in our reconstruction of his direct (analogous) proof for the closure of knowledge under adding a disjunct.