anchored Cons x xs y anchored xs Cons Cons Nil Nil y anchored Nil y y goal x y anchored x y anchored 2 Cons 2 Nil 0 goal 2 INNERMOST