1.14/0.74	NO
1.14/0.74	
1.14/0.74	Proof:
1.14/0.74	This system is not confluent.
1.14/0.74	For the unconditional CP c = d ctcap(c) and ctcap(d) wrt R_u are not unifiable.
1.14/0.74	
1.26/0.76	EOF