  We now work toward a theoretical description of the denotation of the sentence as a whole. On Frege’s view, \(d[j]\) and \(d[m]\) are the real individuals John and Mary, respectively. \(d[L]\) is a function that maps \(d[m]\) (i.e., Mary) to the function ( ) loves Mary. This latter function serves as the denotation of the predicate ‘loves Mary’ and we can use the notation \(d[Lm]\) to refer to it semantically. Now the function \(d[Lm]\) maps \(d[j]\) (i.e., John) to the denotation of the sentence ‘John loves Mary’.  Let us refer to the denotation of the sentence as \(d[jLm]\). Frege identifies the denotation of a sentence as one of the two truth values.  Because \(d[Lm]\) maps objects to truth values, it is a concept. Thus, \(d[jLm]\) is the truth value The True if John falls under the concept \(d[Lm]\); otherwise it is the truth value The False. So, on Frege’s view, the sentence ‘John loves Mary’ names a truth  value.[6]