shift_reducibility