Thank you to help point out. I read the specification differently _because_ it we want a sorted list (a lot of implied definitions about input and output). I s

Thank you to help point out. I read the specification differently _because_ it we want a sorted list (a lot of implied definitions about input and output). I see how this complements the next paragraph how ambiguous and difficult in can be to write such formal definitions which includes all such cases.