add lexicographical_compare