inc Cons x xs Cons Cons Nil Nil inc xs nestinc Nil number17 Nil nestinc Cons x xs nestinc inc Cons x xs inc Nil Cons Nil Nil number17 x Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Nil goal x nestinc x inc 1 Cons 2 Nil 0 nestinc 1 number17 1 goal 1 INNERMOST