MAYBE 252.35/70.38 MAYBE 252.35/70.38 252.35/70.38 Problem: 252.35/70.38 f(x,a(b(c(y)))) -> f(b(c(a(b(x)))),y) 252.35/70.38 f(a(x),y) -> f(x,a(y)) 252.35/70.38 f(b(x),y) -> f(x,b(y)) 252.35/70.38 f(c(x),y) -> f(x,c(y)) 252.35/70.38 252.35/70.38 Proof: 252.35/70.38 Open 252.35/70.39 EOF