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