Frege's puzzle about identity shows that 'Hesperus is Phosphorus' and 'Hesperus is Hesperus' differ ...