MAYBE 226.86/57.62 MAYBE 226.86/57.62 226.86/57.62 Problem: 226.86/57.62 f(x,a(b(y))) -> f(a(a(x)),y) 226.86/57.62 f(x,b(a(y))) -> f(b(b(x)),y) 226.86/57.62 f(a(x),y) -> f(x,a(y)) 226.86/57.62 f(b(x),y) -> f(x,b(y)) 226.86/57.62 226.86/57.62 Proof: 226.86/57.62 Open 226.86/57.62 EOF