To the Elan Programming Environment, a program does not consist of one sequential text but rather of a number of independent definitions, whose order plays no role. In order to construct a program, its definitions have to be input one by one. Some commands (the check-command and the execute-command) require the focus to be a refinement, taken as a description of the composition of the program. This refinement is called the root of the program. By default the Elan Programming Environment assumes the first refinement entered or read from a file to be the name of the root of the program.