Kind-level predicates differ as to whether they presuppose (that is to be extinct) or entail (such as to invent) the existence of objects, with crucial consequences for the interpretation of indefinite argument noun phrases. This title proves useful in solving otherwise puzzling problems in semantic composition.