A source of the form Re, where Re is a result expression, is evaluated by evaluating the result expression Re. The result thus obtained is taken to be the result of the source.
Env,St |- Re => X,St' ----------------------- Env,m,St |- Re => X,St'