MAYBE
0.09/0.17	MAYBE
0.09/0.17	
0.09/0.17	Problem:
0.09/0.17	 U11(tt(),M,N) -> U12(tt(),activate(M),activate(N))
0.09/0.17	 U12(tt(),M,N) -> s(plus(activate(N),activate(M)))
0.09/0.17	 U21(tt(),M,N) -> U22(tt(),activate(M),activate(N))
0.09/0.17	 U22(tt(),M,N) -> plus(x(activate(N),activate(M)),activate(N))
0.09/0.17	 plus(N,0()) -> N
0.09/0.17	 plus(N,s(M)) -> U11(tt(),M,N)
0.09/0.17	 x(N,0()) -> 0()
0.09/0.17	 x(N,s(M)) -> U21(tt(),M,N)
0.09/0.17	 activate(X) -> X
0.09/0.17	
0.09/0.17	Proof:
0.09/0.17	 Open
0.09/0.18	EOF