VerifyDistinct