They are often called bindings, not variables, so as to make it clear that they are just a name for a thing that will not change.