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