finite_set_list_length done