If I have an expression with a free variable and I am looking at a particular assignment is it accceptable to see that string of symbols as a perfectly valid name for a number?
For example if my expression is simple like $x+1$ and $x=1$ I can see $x$ as a perfectly valid new way to refer to $1$ locally and $x+1$ as a string a perfectly valid new way to refer to the number $2$?
This way in order for $x+1=2$ we need only assign $x=1$ and not 'subsitute' into it? I can then see something like $x+1$ as being perfectly equivalent to $1+1$ in form simply that $x+1$ names a variable number and $1+1$ a specific number? It is just that in many text books the value of an expression is referred to by 'subsitution'.