 Where the above examples started from a uni-modal logic, we provide now an example in which we start from a homogeneous multi-modal logic. Our setting is a logic consisting of a number of basic modalities of the same type, all being semantically interpreted via the same type of relation. Our example is the basic multi-agent epistemic logic. This setting is already multi-modal, as its language \(\cL_{\left\{ \oK{1}, \ldots,\oK{n} \right\}}\) has a knowledge modality \(K_i\) for each agent \(i \in \ttA\). (In fact, this basic multi-agent epistemic logic is the fusion  (section 3.1)  of several single-agent epistemic logic systems, one for each agent \(i \in \ttA\).) Still, when the set of agents is finite (say, \(\left| \ttA\right| = n)\), one can define a brand new modality for the group epistemic notion of everybody knows: