 That everybody knows something does not mean that this knowledge is shared between the members of the group. The three world model exemplifies this: Though \(E_{\{a,b\}}p\), it also the case that \(\neg K_{b}E_{\{a,b\}}p\).