MAYBE 0.08/0.17 MAYBE 0.08/0.17 0.08/0.17 Problem: 0.08/0.17 bin(x,0()) -> s(0()) 0.08/0.17 bin(0(),s(y)) -> 0() 0.08/0.17 bin(s(x),s(y)) -> +(bin(x,s(y)),bin(x,y)) 0.08/0.17 0.08/0.17 Proof: 0.08/0.17 Open 0.08/0.17 EOF