  It follows that it is impossible for \(a\) to know \(k'\) at time \(t\). A generalization of this argument appears to show that if there are true propositions that are not known to be true, then there are true propositions that cannot be known—that are unknowable. Contrapositively, if every true proposition can be known, then every true proposition is known—which is clearly absurd.