refine VerifyPartial()