Valid stopping in adaptive generator-verifier loops · Digg