MAYBE 0.08/0.18 MAYBE 0.08/0.18 0.08/0.18 Problem: 0.08/0.18 :(:(x,y),z) -> :(x,:(y,z)) 0.08/0.18 :(+(x,y),z) -> +(:(x,z),:(y,z)) 0.08/0.18 :(z,+(x,f(y))) -> :(g(z,y),+(x,a())) 0.08/0.18 0.08/0.18 Proof: 0.08/0.18 Open 0.08/0.18 EOF