(lambda (x y)(cond ((<(car x)(car y))t)))