MAYBE
24.46/10.18	MAYBE
24.46/10.18	
24.46/10.18	Problem:
24.46/10.18	 f(x,f(y,a())) -> f(a(),f(f(x,a()),y))
24.46/10.18	
24.46/10.18	Proof:
24.46/10.18	 Open
24.46/10.19	EOF