Result Expressions as Sources result expression as source sourceresult expression as source
Evaluation

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'