Memory equals renaming