 If we try to let \(w_{1}\) play the role of \(w_{2}\), then a would lose knowledge in p: both p worlds are needed. In general, if W is assumed to have any fixed, finite size, there will be some higher-order information formula that cannot be satisfied in it.