let
pred_forall ~fresh v p =
Fol
.forall_pred
M
.prop_in_data fresh v p