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