1.88/1.29	NO
1.88/1.29	
1.88/1.29	Proof:
1.88/1.29	This system is not confluent.
1.88/1.29	For the unconditional CP s(c) = t ctcap(s(c)) and ctcap(t) wrt R_u are not unifiable.
1.88/1.29	
1.88/1.31	EOF