 We may also ask more general questions concerning the concept of knowledge modeled using pointed Kripke models with indistinguishability relations: Instead of looking at a particular model at the time and asking which formulas the model makes true, we can ask which general principles all such models agree on.