Loops defined in terms of 'forever' to be explicit