2.16/1.39	NO
2.16/1.39	
2.16/1.39	Proof:
2.16/1.39	This system is not confluent.
2.16/1.39	Removed infeasible rules from system R.
2.16/1.39	For the unconditional CP e = k the left- and right-hand sides are two different normal forms wrt R_u.
2.16/1.39	
2.24/1.42	EOF