begin
 !(P1 & P1)
end