"analysis by reduction" . . "analysis by reduction" . .