  Interactions between implicit and explicit knowledge can sometimes be rather delicate. As an example, consider the following mixed  principle of negative introspection (again \(\Box\)  should be read as  an implicit epistemic operator),