Marked_firstconsfromfirstMarked_from0snilYXfirst(0,X)nilfirst(s(X),cons(Y))cons(Y)from(X)cons(X)first(0,X)nilfirst(s(X),cons(Y))cons(Y)from(X)cons(X)