by reduction