Common lisp, неопределенное поведение функции intersection?

Согласно записи CLHS для функции INTERSECTION (http://www.lispworks.com/documentation/HyperSpec/Body/f_isec_.htm):

Для каждой пары, которая удовлетворяет тесту, ровно один из двух элементов пары будет помещен в результат.

Моя проблема в том, что мне нужно знать, какой из двух элементов пары будет помещен в результат, что имеет значение, когда, например, :key #'car используется для извлечения аргументов для проверки, так как cdr могут быть разными. Я хотел бы иметь гарантию, что в результат будет помещен либо всегда первый, либо всегда второй элемент. Я что-то упускаю или это просто неопределенное поведение, поэтому я не должен использовать его для моего случая?