When an environment associates storage location s with a name x, we say that x is bound to s; the association itself is referred to as a binding of x. A binding is the dynamic counterpart of a declaring.