MAYBE
112.24/55.25	MAYBE
112.24/55.25	
112.24/55.25	Problem:
112.24/55.25	 h(f(x,y)) -> f(f(a(),h(h(y))),x)
112.24/55.25	
112.24/55.25	Proof:
112.24/55.25	 Open
112.24/55.25	EOF