Further work on infinite loops