revapp Cons x xs rest revapp xs Cons x rest revapp Nil rest rest goal xs ys revapp xs ys revapp 2 Cons 2 Nil 0 goal 2 INNERMOST