3.20/1.29	MAYBE
3.20/1.29	
3.20/1.29	Problem:
3.20/1.29	pin(x) -> pout(g(x))
3.20/1.30	pin(x) -> pout(f(y)) <= pin(x) = pout(g(y))
3.20/1.30	
3.20/1.30	Proof:
3.20/1.30	ConCon could not decide confluence of the system.
3.20/1.30	\cite{ALS94}, Theorem 4.1 does not apply.
3.20/1.30	ConCon could not decide if this system is quasi-decreasing.
3.20/1.30	\cite{O02}, p. 214, Proposition 7.2.50 does not apply.
3.20/1.30	
3.43/1.30	EOF