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