Making sure that there is at least one iteration of the loop