695.37/299.38	MAYBE
695.37/299.38	
695.37/299.38	Problem:
695.37/299.38	 strict:
695.37/299.38	  minus(x,0()) -> x
695.37/299.38	  minus(s(x),s(y)) -> minus(x,y)
695.37/299.38	  f(0()) -> s(0())
695.37/299.38	  f(s(x)) -> minus(s(x),g(f(x)))
695.37/299.38	  g(0()) -> 0()
695.37/299.38	  g(s(x)) -> minus(s(x),f(g(x)))
695.37/299.38	 weak:
695.37/299.38	  rand(x) -> x
695.37/299.38	  rand(x) -> rand(s(x))
695.37/299.38	
695.37/299.38	Proof:
695.37/299.38	 Open
695.37/299.39	EOF