2.17/1.38	NO
2.17/1.38	
2.17/1.38	Proof:
2.17/1.38	This system is not confluent.
2.17/1.38	Removed infeasible rules from system R.
2.17/1.38	For the unconditional CP e = k ctcap(e) and ctcap(k) wrt R_u are not unifiable.
2.17/1.38	
2.17/1.42	EOF