to_list_naive bound