Almost finished SymbolDefinition