2.25/1.43	NO
2.25/1.44	
2.25/1.44	Proof:
2.25/1.44	This system is not confluent.
2.25/1.44	For the unconditional CP l = m ctcap(l) and ctcap(m) wrt R_u are not unifiable.
2.25/1.44	
3.85/1.87	EOF