where \(I\) is any nonempty set of players. If \(E\) is common knowledge for the group \(I\), then not only does everyone in the group know that \(E\) is true, but this fact is completely transparent to all members of the group. We first define \(K_I^n(E)\) for each \(n\ge 0\) by induction: