reordering in σ