. . . . "In short, a symbol is a name." .