Renaming as a form of iteration