1.54/1.11	MAYBE
1.54/1.11	
1.54/1.11	Proof:
1.54/1.11	ConCon could not decide confluence of the system.
1.54/1.11	
1.54/1.15	EOF