add.list

infini_list, space_inf