Automatic rule names are distinct from user names.