Indefinites in negated intensional contexts: An argument for world-Skolemized choice functions | Synapse