2.03/1.28	NO
2.03/1.28	
2.03/1.28	Proof:
2.03/1.28	This system is not confluent.
2.03/1.28	For the unconditional CP t(c) = t(d) ctcap(t(c)) and ctcap(t(d)) wrt R_u are not unifiable.
2.03/1.28	
2.03/1.32	EOF