 to make \(D_{G}\varphi\) a well-formed formula. Where \(G\subseteq\mathcal{A}\) is a group of agents, the formula \(D_{G}\varphi\) reads that it is distributed knowledge in the group G that \(\varphi\).