MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 sort(nil()) -> nil()
0.08/0.18	 sort(cons(x,y)) -> insert(x,sort(y))
0.08/0.18	 insert(x,nil()) -> cons(x,nil())
0.08/0.18	 insert(x,cons(v,w)) -> choose(x,cons(v,w),x,v)
0.08/0.18	 choose(x,cons(v,w),y,0()) -> cons(x,cons(v,w))
0.08/0.18	 choose(x,cons(v,w),0(),s(z)) -> cons(v,insert(x,w))
0.08/0.18	 choose(x,cons(v,w),s(y),s(z)) -> choose(x,cons(v,w),y,z)
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.18	EOF