A term is an identifier per se if no mattter what the information
state is, it cannot fail to decie what the denotation of the term is.
-## Why articulate the mapping from variables to objects into two
- parts?
+## Why articulate the mapping from variables to objects into two parts?
In the current system, variables are associated with values in two
steps.