 The lesson is this. Since, for some \(p, p \wedge \neg Kp\) is actually the case, E-knowability commits us to possible knowledge that \(p \wedge \neg Kp\) is actually the case. Since this knowledge cannot be actual, E-knowability requires non-actual knowledge of what is actually the case. E-knowability then denies the following assumption: given a statement \(p\), if it is known that \(p\) in \(s\), then in \(s\) it is known that \(p\). By Edgington’s analysis it is exactly this implicit assumption that leads Fitch’s reasoning astray. The paradox is blocked without it.