An entity which is denoted by a name we will term elementary; the others are composed. It may very well be that a composed entity at one place of the program obtains a name, by means of a declaration, and at other places of the program is denoted by that name. Such a declaration serves as an abstraction mechanism. Besides a shortening of the program, this naming of entities allows the introduction of various levels of abstraction.