new higher order functions environment diagram