as shorthand for what Nozick more properly calls 'failure of knowledge to be closed under known logical implication' (the 'known' here creates a problem, since Nozick must mean for his analysis of knowledge to apply to this case, too, but I do not go into it here, and let Nozick take the term 'known' to be understood simply intuitively for this case).