more in SymbolDefinition.