small cleanup
shift_reducibility