 But now something is odd: after hearing \(p \land \lnot Kp\), the agent surely should know that p is the case \((Kp)\). But then, how is it possible that, at the same time, she knows that she does not know it \((K\lnot Kp)\)?