0.00/0.47	MAYBE
0.00/0.47	
0.00/0.47	Problem:
0.00/0.48	s(p(x)) -> x
0.00/0.48	p(s(x)) -> x
0.00/0.48	pos(0()) -> false()
0.00/0.48	pos(s(0())) -> true()
0.00/0.48	pos(s(x)) -> true() <= pos(x) = true()
0.00/0.48	pos(p(x)) -> false() <= pos(x) = false()
0.00/0.48	
0.00/0.48	Proof:
0.00/0.48	ConCon could not decide confluence of the system.
0.00/0.48	\cite{SMI95}, Corollary 4.7 or 5.3 do not apply.
0.00/0.48	
0.00/0.48	EOF