 But then we have a contradiction resting on TKP and Fitch’s conjunction, \(p \wedge \neg Kp\). The result involves substitutions of \(p \wedge(Kp \rightarrow En)\) and \(p \wedge(Kp \rightarrow \neg En)\) for \(p\) in TKP, but Williamson maintains that neither violate the Cartesian restriction. Paradox regained.