689.29/299.39 MAYBE 689.29/299.39 689.29/299.39 Problem: 689.29/299.39 strict: 689.29/299.39 f(0(),1(),x) -> f(s(x),x,x) 689.29/299.39 f(x,y,s(z)) -> s(f(0(),1(),z)) 689.29/299.39 weak: 689.29/299.39 rand(x) -> x 689.29/299.39 rand(x) -> rand(s(x)) 689.29/299.39 689.29/299.39 Proof: 689.29/299.39 Open 689.29/299.39 EOF