 The definiens says that for each agent \(i\), if \(i\) can infer from \(A'\) that \(E\) is the case and that everyone knows that \(A'\) is the case, then \(i\) can also infer that everyone knows that \(E\) is the case.