An important point is that this shuffling error type, which is based only on moving positions, has a paradoxical consequence on category agreement, since units of different categories align when sufficient shifting is applied.
c|u α is not blocked at 1, even though it is designed to focus on categories.