There are a huge number of names for storage locations
- local and global variables; procedure parameters; for records, etc., the sub-components
Values flow from location to location, which can be associated with many different names
Archetypal query: Which other names identify locations to which a value could flow to or from a location with this given name?
- Answers can be given textually or graphically