1.91/1.29	NO
1.91/1.29	
1.91/1.29	Proof:
1.91/1.29	This system is not confluent.
1.91/1.29	For the unconditional CP t(c) = t(d) the left- and right-hand sides are two different normal forms wrt R_u.
1.91/1.29	
1.91/1.32	EOF