MAYBE
20.24/10.18	MAYBE
20.24/10.18	
20.24/10.18	Problem:
20.24/10.18	 f(a()) -> f(a())
20.24/10.18	
20.24/10.18	Proof:
20.24/10.18	 Open
20.24/10.19	EOF