conj (<>p, <><>-p, <><><>p, [](p & [](-p & [](p & []-p))))