Kratzer's (1998) analysis shows indefinites introduce choice functions, not generalized quantifiers,...