Implemented univ_list