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