 Having rejected K, and denying that we know things like not-mule, Nozick also had to deny closure across simplification. For if some proposition p entails another proposition q, then p is equivalent to the conjunction p &amp; q; accordingly, given closure across equivalence, which Nozick accepted, if we know zeb we can know the conjunction zeb &amp; not-mule, but if we also accept closure across simplification, we will be able to know not-mule. 