begin
 !(P1 & P1);
 P2 | P1
end