An example of a reduction rule.

Let <somevariable> = <someexpression> in <someotherexpression>

reduces to:

[ <somevariable> → <someexpression>] <someotherexpression>