2.24/1.59	NO
2.24/1.60	
2.24/1.60	Proof:
2.24/1.60	This system is not confluent.
2.24/1.60	For the unconditional CP d = c ctcap(d) and ctcap(c) wrt R_u are not unifiable.
2.24/1.60	
4.65/2.00	EOF