Nozick gives four individually necessary and jointly sufficient conditions for a person to know that p: is true believes that If weren't true, wouldn't believe that If were true, would believe that Condition is supposed to be violated if might have believed that, (even) if were false; it is not required for a violation to occur that definitely would have believed that.