YES Proof: This system is confluent. By \cite{SMI95}, Corollary 4.7 or 5.3. This system is not normal. This system is oriented. This system is of type 3 or smaller. This system is right-stable. This system is properly oriented. This is an overlay system. This system is left-linear. There are no critical pairs. This system is conditional.