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