0.00/0.81	MAYBE
0.00/0.81	
0.00/0.81	Problem:
0.00/0.81	up(x) -> x
0.00/0.81	down(x) -> x
0.00/0.81	up(x) -> up(s(x))
0.00/0.81	down(s(x)) -> down(x)
0.00/0.81	between(x, y, z) -> true() <= up(x) = y, down(z) = y
0.00/0.81	
0.00/0.81	Proof:
0.00/0.81	ConCon could not decide confluence of the system.
0.00/0.81	\cite{GNG13}, Theorem 9 does not apply.
0.00/0.81	
0.00/0.82	EOF