If K(p ∧ ¬Kp) is truly both assertible and deniable, speakers cannot coordinate on its truth-value, ...
This proposition has not been edited since the history system was added.