1 | 4. a: |E| 5. p:Label. g(p) = filter( b. (b =msg=(E) a);f(p)) 6. p,q:Label. agree_on_common(|MS(E)|;map(msg(E);f(p));map(msg(E);f(q))) 7. p: Label 8. q: Label 9. agree_on_common(|MS(E)|;map(msg(E);f(p));map(msg(E);f(q))) agree_on_common(|MS(E)|;map(msg(E);filter( b. (b =msg=(E) a);f(p)));map(msg(E);filter( b.
 (b =msg=(E) a);f(q)))) |