 DeRose adopts a type of modal or "safety" (as it has since come to be known) account on which knowledge is a matter of one's belief as to whether or not p is the case matching the fact of the matter, not only in the actual world, but also in the sufficiently close possible worlds