formal_list