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