TIL pairs use lexicographical comparisons for operator<.