There certainly is a possible world in which a man should have seen a certain star at a certain position in the evening and called it 'Hesperus' and a certain star in the morning and called it 'Phosphorus'; and should have concluded should have found out by empirical investigation that he names two different stars, or two different heavenly bodies.