MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 from(X) -> cons(X,n__from(s(X)))
0.07/0.18	 sel(0(),cons(X,Y)) -> X
0.07/0.18	 sel(s(X),cons(Y,Z)) -> sel(X,activate(Z))
0.07/0.18	 from(X) -> n__from(X)
0.07/0.18	 activate(n__from(X)) -> from(X)
0.07/0.18	 activate(X) -> X
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.18	EOF