 Together with “strong” semantic closure, Heytesbury’s analysis of epistemic operators validates the weaker distribution principles and rejects the stronger closure principles, i.e., different forms of logical  omniscience.[35]