We have already introduced loops to recurse over lists. We now discuss loops in some more details. We also discuss how to implement loops through recusive procedures, as done in Oz.