0.00/0.49 YES 0.00/0.49 0.00/0.49 Problem: 0.00/0.49 add(x, 0()) -> x 0.00/0.49 add(x, s(y)) -> s(z) <= add(x, y) = z 0.00/0.49 0.00/0.49 Proof: 0.00/0.49 This system is confluent. 0.00/0.49 By \cite{GNG13}, Theorem 9. 0.00/0.49 This system is of type 3 or smaller. 0.00/0.49 This system is deterministic. 0.00/0.49 This system is weakly left-linear. 0.00/0.49 System R transformed to optimized U(R). 0.00/0.49 This system is orthogonal. 0.00/0.49 0.00/0.82 EOF