 We could say a lot more about Zoe’s knowledge: every formula of the epistemic language without belief operators may be evaluated in the model. It thus represents all Zoe’s higher-order information about her own knowledge of which points 3. and 4. are the first examples.