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