MAYBE 35.68/10.19 MAYBE 35.68/10.19 35.68/10.19 Problem: 35.68/10.19 +(x,0()) -> x 35.68/10.19 +(x,s(y)) -> s(+(x,y)) 35.68/10.19 +(0(),y) -> y 35.68/10.19 +(s(x),y) -> s(+(x,y)) 35.68/10.19 +(x,+(y,z)) -> +(+(x,y),z) 35.68/10.19 f(g(f(x))) -> f(h(s(0()),x)) 35.68/10.19 f(g(h(x,y))) -> f(h(s(x),y)) 35.68/10.19 f(h(x,h(y,z))) -> f(h(+(x,y),z)) 35.68/10.19 35.68/10.19 Proof: 35.68/10.19 Open 35.68/10.19 EOF