8.24/2.62 MAYBE 8.24/2.62 8.24/2.62 Problem: 8.24/2.62 f(x', x'') -> h(x, f(x, b())) <= x' = x, x'' = x 8.24/2.62 f(g(y'), y'') -> h(y, f(g(y), a())) <= y' = y, y'' = y 8.24/2.62 a() -> b() 8.24/2.62 8.24/2.62 Proof: 8.24/2.62 ConCon could not decide confluence of the system. 8.24/2.62 \cite{ALS94}, Theorem 4.1 does not apply. 8.24/2.62 ConCon could not decide if this system is quasi-decreasing. 8.24/2.62 \cite{O02}, p. 214, Proposition 7.2.50 does not apply. 8.24/2.62 8.68/2.74 EOF