let forall_mem m p = Fol.forall_pred M.prop_in_data ~fresh:false m p