When some epistemic agent, say a, claims that they know that p, and p is false, then they have made a mistake because the content of the claim, Kap, and the fact, ~p, are together contrary to the VP.