0.00/0.77 MAYBE 0.00/0.77 0.00/0.77 Problem: 0.00/0.77 s(p(x)) -> x 0.00/0.77 p(s(x)) -> x 0.00/0.77 pos(0()) -> false() 0.00/0.77 pos(s(0())) -> true() 0.00/0.77 pos(s(x)) -> true() <= pos(x) = true() 0.00/0.77 pos(p(x)) -> false() <= pos(x) = false() 0.00/0.77 0.00/0.77 Proof: 0.00/0.77 ConCon could not decide confluence of the system. 0.00/0.77 \cite{GNG13}, Theorem 9 does not apply. 0.00/0.77 0.00/0.77 EOF