MAYBE 198.87/55.36 MAYBE 198.87/55.36 198.87/55.36 Problem: 198.87/55.36 f(x,a(b(y))) -> f(a(b(x)),y) 198.87/55.36 f(a(x),y) -> f(x,a(y)) 198.87/55.36 f(b(x),y) -> f(x,b(y)) 198.87/55.36 198.87/55.36 Proof: 198.87/55.36 Open 198.87/55.37 EOF