Added list_all_eq_to