NO
0.08/0.18	NO
0.08/0.19	
0.08/0.19	Problem:
0.08/0.19	 2nd(cons(X)) -> head(XS)
0.08/0.19	 sel(s(N),cons(X)) -> sel(N,XS)
0.08/0.19	 from(X) -> cons(X)
0.08/0.19	 head(cons(X)) -> X
0.08/0.19	 take(0(),XS) -> nil()
0.08/0.19	 take(s(N),cons(X)) -> cons(X)
0.08/0.19	 sel(0(),cons(X)) -> X
0.08/0.19	
0.08/0.19	Proof:
0.08/0.19	 Fresh Variable Processor:
0.08/0.19	  loop length: 1
0.08/0.19	  terms:
0.08/0.19	   2nd(cons(X))
0.08/0.19	  context: head([])
0.08/0.19	  substitution:
0.08/0.19	   XS -> 2nd(cons(X))
0.08/0.19	  Qed
0.08/0.19	EOF