2.58/2.00	MAYBE
2.58/2.00	
2.58/2.00	Proof:
2.58/2.00	ConCon could not decide confluence of the system.
2.58/2.00	
2.58/2.03	EOF