letexp x y letexp Cons Cons Nil Nil x y goal x y letexp x y letexp 2 Cons 2 Nil 0 goal 2 INNERMOST