0.00/0.46 YES 0.00/0.46 0.00/0.46 Problem: 0.00/0.47 a() -> b() <= a() = b() 0.00/0.47 0.00/0.47 Proof: 0.00/0.47 This system is confluent. 0.00/0.47 By \cite{GNG13}, Theorem 9. 0.00/0.47 This system is of type 3 or smaller. 0.00/0.47 This system is deterministic. 0.00/0.47 This system is weakly left-linear. 0.00/0.47 System R transformed to optimized U(R). 0.00/0.47 This system is orthogonal. 0.00/0.47 0.00/0.79 EOF