1.04/0.75	NO
1.04/0.75	
1.04/0.75	Proof:
1.04/0.75	This system is not confluent.
1.04/0.75	For the unconditional CP h(b) = h(c) ctcap(h(b)) and ctcap(h(c)) wrt R_u are not unifiable.
1.04/0.75	
1.25/0.77	EOF