MAYBE Problem: +(0(),y) -> y +(s(x),y) -> s(+(x,y)) +(p(x),y) -> +(x,p(y)) p(s(x)) -> s(p(x)) s(p(x)) -> p(s(x)) p(s(0())) -> 0() Proof: Open