verification by sampling