 To capture that there is no uncertainty in the group about \(\varphi\) nor any higher-order uncertainty about \(\varphi\) being known by all agents, no formula in the language \(\mathcal{L}_{Kn}\) is enough. Consider the formula 