This can be taken as saying that a sentence with 'Cicero' in it expresses the same 'proposition' as the corresponding one with 'Tully', that to believe the proposition expressed by the one is to believe the proposition expressed by the other, or that they are equivalent for all semantic purposes.