MAYBE 226.22/57.48 MAYBE 226.22/57.48 226.22/57.48 Problem: 226.22/57.48 f(x,a(b(y))) -> f(a(a(x)),y) 226.22/57.48 f(x,b(a(y))) -> f(b(b(x)),y) 226.22/57.48 f(a(x),y) -> f(x,a(y)) 226.22/57.48 f(b(x),y) -> f(x,b(y)) 226.22/57.48 226.22/57.48 Proof: 226.22/57.48 Open 226.22/57.49 EOF