 Frege did not distinguish (or at least did not emphasize any distinction between) names like ‘John’ and descriptions like ‘the boy’ or ‘the tall boy from Canada’. Initially, both kinds of expression seem to indicate arguments, as opposed to functions. So one might think that the logical form of ‘The boy sang’ is simply ‘\(S(b)\)’, where ‘\(b\)’ is an unstructured symbol that stands for the boy in question (and presents him in a certain way). But this makes the elements of a description logically irrelevant. And this seems wrong. If the tall boy from Canada sang, then some boy from Canada sang. Moreover, ‘the’ implies uniqueness in a way that ‘some’ does not. Of course, one can say ‘The boy sang’ without denying that universe contains more than one boy. But likewise, in ordinary conversation, one can say ‘Everything is in the trunk’ without denying that the universe contains some things not in the trunk. And intuitively, a speaker who uses ‘the’ does imply that the adjacent predicate is satisfied by exactly one contextually relevant thing.