ordered is just monotonic in the labels, yes?