0.00/0.46	MAYBE
0.00/0.46	
0.00/0.46	Problem:
0.00/0.46	add(x, 0()) -> x
0.00/0.46	add(x, s(y)) -> s(z) <= add(x, y) = z
0.00/0.46	oneThird(z) -> x <= add(x, x) = y, add(x, y) = z
0.00/0.46	isTwoThird(y, z) -> x <= add(x, x) = y, add(x, y) = z
0.00/0.46	
0.00/0.46	Proof:
0.00/0.46	ConCon could not decide confluence of the system.
0.00/0.46	\cite{ALS94}, Theorem 4.1 does not apply.
0.00/0.46	This system may be strongly deterministic or not.
0.00/0.46	
0.00/0.48	EOF