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