Review: added questions for hof and control
publishing env diagram for recursion first