 SKP is applied at lines 3 and 6 to \(p\) and \(Kp\), respectively. And these substituends do not violate the Cartesian restriction. Neither \(Kp\), nor \(KKp\), is self-contradictory. Nonetheless, the anti-realist is forced absurdly to admit that no truth is unknown. 