3.70/2.96	MAYBE
3.70/2.96	
3.70/2.96	Proof:
3.70/2.96	ConCon could not decide confluence of the system.
3.70/2.96	
3.70/2.99	EOF