abs_reducibility