MAYBE 31.77/10.18 MAYBE 31.77/10.19 31.77/10.19 Problem: 31.77/10.19 f(s(x),x) -> f(s(x),round(s(x))) 31.77/10.19 round(0()) -> 0() 31.77/10.19 round(0()) -> s(0()) 31.77/10.19 round(s(0())) -> s(0()) 31.77/10.19 round(s(s(x))) -> s(s(round(x))) 31.77/10.19 31.77/10.19 Proof: 31.77/10.19 Open 31.77/10.19 EOF