 The introspection axioms govern iterated epistemic modalities (Boh 1984 and 1985, Hanke 2018a). While denying the possibility of doubting one’s own knowledge, Heytesbury proposes what is an equivalent to positive introspection: