True, but it is much better at preserving closeness than the alternative he mentioned (lexicographical sort).