MAYBE
129.87/55.27	MAYBE
129.87/55.27	
129.87/55.27	Problem:
129.87/55.27	 f(g(X)) -> g(f(f(X)))
129.87/55.27	 f(h(X)) -> h(g(X))
129.87/55.27	
129.87/55.27	Proof:
129.87/55.27	 Open
129.87/55.27	EOF