MAYBE 0.07/0.18 MAYBE 0.07/0.18 0.07/0.18 Problem: 0.07/0.18 g(f(x,y)) -> f(f(g(g(x)),g(g(y))),f(g(g(x)),g(g(y)))) 0.07/0.18 0.07/0.18 Proof: 0.07/0.18 Open 0.07/0.18 EOF