avoid multiple instances of Symbols