Optimum Verification (1)