let
p_forall vars p =
Fol
.p_forall_vars do_exp_in_data vars p