Player i is rational\;R=nieN Ri. Also, Bi(E) is the event \Player i is certain that E is true\ and B(E)=neN Bi(E). This is as in Lecture 7. Let me introduce the following notation for iterated mutual certainty: B()(E)=E B()(E)=B(B-I)(E)). Then the definition of Bk in Lecture 7 can be rewritten as Bk
underground['^ n d agr a u n d]a.地下的 via['vaia]prep.经过,通过 keyboard[ki:b:d]n.键盘 visual[' vi zj ual]a.视觉的,光学的 originate[a' r i si ne i tJv.发生,开始 originating call发端呼叫