public log_settings_string sub(string[] names) { settings_as_string sub_sett = settings_.sub(names); return(new log_settings_string(sub_sett.ToString())); }