2.34/1.64	NO
2.34/1.64	
2.34/1.64	Proof:
2.34/1.64	This system is not confluent.
2.34/1.64	For the unconditional CP b = c the left- and right-hand sides are two different normal forms wrt R_u.
2.34/1.64	
2.58/1.67	EOF