Abstrakt
This article reveals a surprising fact that the upcoming XPath 2.0 is capable of sorting sequences, which is proved formally. We also mark out an incompleteness of XQuery Core and an insuffciency of definition of XQuery Core sorting semantics.
The fact that XPath 2.0 can sort arbitrary sequences is used to fix it.