MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 eq(0(),0()) -> true()
0.08/0.18	 eq(0(),s(X)) -> false()
0.08/0.18	 eq(s(X),0()) -> false()
0.08/0.18	 eq(s(X),s(Y)) -> eq(X,Y)
0.08/0.18	 rm(N,nil()) -> nil()
0.08/0.18	 rm(N,add(M,X)) -> ifrm(eq(N,M),N,add(M,X))
0.08/0.18	 ifrm(true(),N,add(M,X)) -> rm(N,X)
0.08/0.18	 ifrm(false(),N,add(M,X)) -> add(M,rm(N,X))
0.08/0.18	 purge(nil()) -> nil()
0.08/0.18	 purge(add(N,X)) -> add(N,purge(rm(N,X)))
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.18	EOF