700.41/299.38	MAYBE
700.41/299.38	
700.41/299.38	Problem:
700.41/299.38	 strict:
700.41/299.38	  tests(0()) -> true()
700.41/299.38	  tests(s(x)) -> and(test(rands(rand(0()),nil())),x)
700.41/299.38	  test(done(y)) -> eq(f(y),g(y))
700.41/299.38	  eq(x,x) -> true()
700.41/299.38	  rands(0(),y) -> done(y)
700.41/299.38	  rands(s(x),y) -> rands(x,::(rand(0()),y))
700.41/299.38	 weak:
700.41/299.38	  rand(x) -> x
700.41/299.38	  rand(x) -> rand(s(x))
700.41/299.38	
700.41/299.38	Proof:
700.41/299.38	 Open
700.41/299.38	EOF