1 | 10. filter( b. (b =(MS(E)) (msg(E)(a)));map(msg(E);f(p)))
=
map(msg(E);filter(( b. (b =(MS(E)) (msg(E)(a)))) o msg(E);f(p))) 11. filter( b. (b =(MS(E)) (msg(E)(a)));map(msg(E);f(q)))
=
map(msg(E);filter(( b. (b =(MS(E)) (msg(E)(a)))) o msg(E);f(q))) agree_on_common(|MS(E)|;filter( b. (b =(MS(E)) (msg(E)(a)));map(msg(E);f(p)));filter( b.
 (b =(MS(E)) (msg(E)(a)));map(msg(E);f(q)))) |