more formal names