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