Don't try to depend on an undefined ordering.