Demonstrating renaming