From this fact description theorists concluded that names can be regarded as synonymous, and hence interchangeable salva veritate even in belief contexts, provided that they are 'defined' by the same uniquely identifying properties.