 as K requires. To illustrate, let us use Dretske’s example. Having based your belief zeb on your zebra-in-the-cage percepts, you know zeb according to SI: given your circumstances, if you had those percepts, zeb would be true. Moreover, when you believe not-mule by first believing zeb on the basis of your zebra-in-the-cage percepts then deducing not-mule from zeb, you know not-mule according to SI: if you had those percepts not only would zeb hold, so would its consequence not-mule.