ordering criterion removal extended (see 8631049)