 that is, \(f_E\) is monotone. (We saw that \(\mathbf{K}^1_N\) is also monotone in the proof of Proposition 2.4.) Barwise’s analysis of common knowledge can be developed using the following result from set theory: