0.00/0.43	MAYBE
0.00/0.43	
0.00/0.43	Problem:
0.00/0.43	add(x, 0()) -> x
0.00/0.43	add(x, s(y)) -> s(z) <= add(x, y) = z
0.00/0.43	oneThird(z) -> x <= add(x, x) = y, add(x, y) = z
0.00/0.43	isTwoThird(y, z) -> x <= add(x, x) = y, add(x, y) = z
0.00/0.43	
0.00/0.43	Proof:
0.00/0.44	ConCon could not decide confluence of the system.
0.00/0.44	\cite{GNG13}, Theorem 9 does not apply.
0.00/0.44	
0.00/0.44	EOF