Once the loop ends, we’ll know  that Hedge has found the 0 bot, so he should upload the control program.
Una vez que finalice el ciclo, sabremos  que Hedge ha encontrado el bot 0, así que él debería subir  el programa de control.