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