104.55/31.82	MAYBE
104.55/31.82	
104.55/31.82	Problem:
104.55/31.82	 f(x,a(g(x))) -> g(f(x,x))
104.55/31.82	 f(x,g(x)) -> g(f(x,x))
104.55/31.82	 a(x) -> x
104.55/31.82	 h(x) -> h(a(h(x)))
104.55/31.82	
104.55/31.82	Proof:
104.55/31.82	 Open
104.55/31.82	EOF