 Assume there is a true sentence of the form ‘\(p\) but \(p\) is not known’. Although this sentence is consistent, modest principles of epistemic logic imply that sentences of this form are unknowable.