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