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