1.86/1.28	MAYBE
1.86/1.28	
1.86/1.28	Proof:
1.86/1.28	ConCon could not decide confluence of the system.
1.86/1.28	
2.01/1.31	EOF