Nozick's supposition that there is a substantial intuitive difference between closure under universal instantiation and closure under existential generalization is surprising and dubious on similar grounds.