2.24/1.34	MAYBE
2.24/1.34	
2.24/1.34	Proof:
2.24/1.34	ConCon could not decide confluence of the system.
2.24/1.34	\cite{ALS94}, Theorem 4.1 does not apply.
2.24/1.34	This system is of type 3 or smaller.
2.24/1.34	This system may be strongly deterministic or not.
2.24/1.34	
2.24/1.37	EOF