0.00/0.44 MAYBE 0.00/0.44 0.00/0.44 Problem: 0.00/0.44 even(x) -> tt() <= double(y) = x 0.00/0.44 odd(x) -> ff() <= double(y) = x 0.00/0.44 double(0()) -> 0() 0.00/0.44 double(s(y)) -> s(s(z)) <= double(y) = z 0.00/0.44 0.00/0.44 Proof: 0.00/0.44 ConCon could not decide confluence of the system. 0.00/0.45 \cite{SMI95}, Corollary 4.7 or 5.3 do not apply. 0.00/0.45 0.00/0.45 EOF