use string_util::concat for term_of_string