let
p_exists xs p =
List
.fold_right
Fol
.p_exists xs p