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