make clear what is done here in the code: the symbol name is resolved