  The sentence ‘John loves Mary’ also expresses a sense. Its sense may be described as follows. Although Frege doesn’t appear to have explicitly said so, his work suggests that \(s[L]\) (the sense of the expression ‘loves’) is a function. This function would map \(s[m]\) (the sense of the name ‘Mary’) to the sense of the predicate ‘loves Mary’. Let us refer to the sense of ‘loves Mary’ as \(s[Lm]\). Now again, Frege’s work seems to imply that we should regard \(s[Lm]\) as a function which maps \(s[j]\) (the sense of the name ‘John’) to the sense of the whole sentence. Let us call the sense of the entire sentence  \(s[jLm]\).[7]  Frege calls the sense of a sentence a thought, and whereas there are only two truth values, he supposes that there are an infinite number of thoughts.