It might be remarked that, alternatively, Nozick could actually have deduced closure of knowledge under adding a disjunct from the supposed proof that knowledge is closed under existential generalization.