1.92/1.68	NO
1.92/1.68	
1.92/1.68	Proof:
1.92/1.69	This system is not confluent.
1.92/1.69	For the unconditional CP g(b) = h(b) ctcap(g(b)) and ctcap(h(b)) wrt R_u are not unifiable.
1.92/1.69	
1.92/1.71	EOF