let pands l = List.fold_right (fun p1 p2 -> pand (p1, p2)) l ptrue