answer(le_equal_char_list).