Operational Semantics

$4.(1$ point$)$ Derivations

Fill in the blanks in the derivation tree for evaluating let x $=8$ in $3>$ x $4$ using the oper$-$

ational semantics in Fig. $1.$

Blank $1$:

Blank $2$:

Blank $3$: