deriving from Synonym