1.94/1.32 NO 1.94/1.32 1.94/1.32 Proof: 1.94/1.32 This system is not confluent. 1.94/1.32 For the unconditional CP b = c ctcap(b) and ctcap(c) wrt R_u are not unifiable. 1.94/1.32 2.09/1.36 EOF