Changed terminology: identifier->symbol