let pors l p = List.fold_right (fun p1 p2 -> por (p1, p2)) l p