1.94/1.29	MAYBE
1.94/1.29	
1.94/1.29	Proof:
1.94/1.29	ConCon could not decide confluence of the system.
1.94/1.29	
1.94/1.31	EOF