Question concerning impl of cl-set