1.28/1.14	MAYBE
1.28/1.14	
1.28/1.14	Proof:
1.28/1.14	ConCon could not decide confluence of the system.
1.28/1.14	
1.28/1.15	EOF