YES Proof: This system is confluent. By \cite{GNG13}, Theorem 9. This system is deterministic. This system is weakly left-linear. System R transformed to optimized U(R). This system is orthogonal. 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. This critical pair is not trivial. This critical pair is conditional. This critical pair has some non-trivial conditions. This system is conditional.