isnoc cons y nil tp2 nil y isnoc cons x ys tp2 cons x xs y isnoc ys tp2 xs y isnoc 1 cons 2 nil 0 tp2 2 ORIENTED FULL