A reordering that should not matter