NEWORDER must be a permutation of the existing categories.