Stronger guarantees on ORDER BY