81.93/31.26	MAYBE
81.93/31.26	
81.93/31.26	Problem:
81.93/31.26	 f(x,x) -> f(g(x),x)
81.93/31.26	 f(g(x),x) -> f(h(x),h(x))
81.93/31.26	 h(g(x)) -> g(g(h(x)))
81.93/31.26	
81.93/31.26	Proof:
81.93/31.26	 Open
81.93/31.26	EOF