 Actual truths of the form \(p \wedge \neg Kp\) will have to be E-knowable. But \(p \wedge \neg Kp\) cannot be actually known to be actually the case. The reasoning here is exactly analogous to Fitch’s reasoning. 