it does eventually terminate so that leaves us the first option