let pand (p1, p2) = match p1, p2 with
  | Ptrue, p2 -> p2
  | p1, Ptrue -> p1
  | p1, p2 -> Pand (p1, p2)