The features of the language we have introduced up to this point constitute what is known as basic Refal. An extension of this language, which will yield some additional means of programming, will be described in the next chapter. We start with the basic programming techniques in basic Refal.