New_list Specification