MAYBE 129.88/55.29 MAYBE 129.88/55.29 129.88/55.29 Problem: 129.88/55.29 f(g(X)) -> g(f(f(X))) 129.88/55.29 f(h(X)) -> h(g(X)) 129.88/55.29 129.88/55.29 Proof: 129.88/55.29 Open 129.88/55.29 EOF