MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 le(0(),Y) -> true()
0.08/0.18	 le(s(X),0()) -> false()
0.08/0.18	 le(s(X),s(Y)) -> le(X,Y)
0.08/0.18	 minus(0(),Y) -> 0()
0.08/0.18	 minus(s(X),Y) -> ifMinus(le(s(X),Y),s(X),Y)
0.08/0.18	 ifMinus(true(),s(X),Y) -> 0()
0.08/0.18	 ifMinus(false(),s(X),Y) -> s(minus(X,Y))
0.08/0.18	 quot(0(),s(Y)) -> 0()
0.08/0.18	 quot(s(X),s(Y)) -> s(quot(minus(X,Y),s(Y)))
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.18	EOF