identifiers treated abstractly and as atomic, serving as Object names in a Closed Map