must recognize that interchangeability salva veritate, if con strued in relation to a extensional language, is not a sufficient comlition of cognitive synonymy in the sense needed for deriving analyticity in the manner of.