Knowledge that some proposition is true.