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