verif: run indefinitely.