Symbols needed from here.