begin
 P1 & !P1
end