 According to Ludlow and Neale, it is implausible to think that all of these uses can be chalked up to semantic facts. In each case, the proposition expressed is argued to be that which would be expressed if the indefinite determiner were replaced by the existential quantifier. The different uses of descriptions then stem from the application of Gricean principles of conversational implicature to what was literally said.