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