 Tennant (1997) focuses on the property of being Cartesian: A statement \(p\) is Cartesian if and only if \(Kp\) is not provably inconsistent. Accordingly, he restricts the principle of knowability to Cartesian statements. Call this restricted knowability principle T-knowability or TKP: 