Draw a "environments and closures" diagram like the ones we did in class, showing all of the closures and local environments that are created by evaluation of the following code, as well as the relationships between them. Also show the final output of the code. Include sequence numbers for the creation of all closures and environments, as well as for additions to the global environment. Your diagrams must follow the style used in the class examples.

$($define compose$2($lambda $($f g$)($lambda $($x$)($f $($g x$)))))$

$($define h $($let $([$g $($lambda $($x$)(+1$ x$))][$f $($lambda $($y$)(*2$ y$))])($compose$2$ g f$)))$

$($h $4)$