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