(lambda a (apply > (map car a)))