It is, for example, thought that if you have two names like 'Cicero' and 'Tully' and say that Cicero is Tully, you can't really be saying of the object which is both Cicero and Tully that it is identical with itself On the contrary, 'Cicero is Tully' can express an empirical discovery, as we mentioned before.