 The (K-0) argument bears a suspicious resemblance to the liar paradox. Subsequent commentators sloppily switch the negation sign in the formal presentations of the reasoning from \(K{\sim}p\) to \({\sim}Kp\) (that is, from ‘It is known that not-\(p\)’, to ‘It is not the case that it is known that \(p\)’). Ironically, this garbled transmission results in a cleaner variation of the knower: