Verification is the outer loop