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