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