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