 Proposition 2.21  If a set of smooth-reasoner counterparts to a set \(N\) of agents are in a situation \(\mathcal{S}'_{N'}(A)\) parallel to a common knowledge situation \(\mathcal{S}_N (A)\) of \(N\), then