notion of renaming