Could someone explain the Frege's puzzle? Is it directly related to semantic stuff? How?