The discovery that the rising sun is not new every morning, but always the same, was one of the most fertile astronomical discoveries. Even to-day the identification of a small planet or a comet is not always a matter of course. Now if we were to regard equality as a relation between that which the names 'a' and 'b' designate, it would seem that a = b could not differ from a = a (i.e. provided a = b is true). A relation would thereby be expressed of a thing to itself, and indeed one in which each thing stands to itself but to no other thing.
As cited in: M. Fitting, Richard L. Mendelsoh (1999), First-Order Modal Logic, p. 142. They called this Frege's Puzzle.
Über Sinn und Bedeutung, 1892