nesteql 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 Cons Nil Nil nesteql Cons x xs nesteql eql Cons x xs eql Nil Nil eql Cons x xs eql Cons x xs number17 n 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 nesteql x nesteql 1 Nil 0 Cons 2 eql 1 number17 1 goal 1 INNERMOST