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.
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.