Re: [NTG-context] infinite number of runs