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