Is to be label order invariant?