705.14/299.39	MAYBE
705.14/299.39	
705.14/299.39	Problem:
705.14/299.39	 strict:
705.14/299.39	  minus(x,0()) -> x
705.14/299.39	  minus(s(x),s(y)) -> minus(x,y)
705.14/299.39	  quot(0(),s(y)) -> 0()
705.14/299.39	  quot(s(x),s(y)) -> s(quot(minus(x,y),s(y)))
705.14/299.39	  plus(0(),y) -> y
705.14/299.39	  plus(s(x),y) -> s(plus(x,y))
705.14/299.39	  plus(minus(x,s(0())),minus(y,s(s(z)))) -> plus(minus(y,s(s(z))),minus(x,s(0())))
705.14/299.39	 weak:
705.14/299.39	  rand(x) -> x
705.14/299.39	  rand(x) -> rand(s(x))
705.14/299.39	
705.14/299.39	Proof:
705.14/299.39	 Open
705.14/299.39	EOF