begin
<>(@n1 n2);
@ n1 ([]p1 -> p2);
@ n2 []p1;
- @ n1 p2
end