MAYBE 0.08/0.17 MAYBE 0.08/0.17 0.08/0.17 Problem: 0.08/0.17 f(x,0()) -> s(0()) 0.08/0.17 f(s(x),s(y)) -> s(f(x,y)) 0.08/0.17 g(0(),x) -> g(f(x,x),x) 0.08/0.17 0.08/0.17 Proof: 0.08/0.17 Open 0.08/0.18 EOF