Properly renamed codes