. . . "where S is an stack containing a set of values, E is the current environment" .