Event e @=> Event e2;

<<< e, e2 >>>;