! | ! p1 p2
! <> ! & p1 p2
! [] & | p1 p2 ! p3
& | p1 p2 ! <> [] p1