This paper argues that exhaustification is empirically and theoretically important as a tool in the semantic description of various constructions in natural language. Discussion focuses on the comparative construction, and presents a view of exhaustification as a ‘control element’ that influences the interpretation of a more basic element: the existential quantifier.