In epistemic logics with a knowledge operator, describes any formula that may be deduced from the set of formulae known by at least one agent, i.e., any statement that follows from the pool of knowledge of a group of agents. That $\phi$ is distributed knowledge does not entail that there exists an agent that knows $\phi$. For example, where $\to$ is a conditional connective, that $\psi \to \xi$ is known by agent $\alpha$ and $\psi$ is known by agent $\beta$ is insufficient to establish that any agent knows $\xi$, although this is sufficient to show $\xi$ to be distributed knowledge. Furthermore, whenever $\phi$ is common knowledge or mutual knowledge, $\phi$ also counts as distributed knowledge, although the converse does not hold.