hints prov