pub fn positive_introspection(knows_p: bool) -> bool
Positive introspection (axiom 4): Kφ → KKφ — knowing implies knowing that one knows.
Kφ → KKφ