Identity many-one reduction