MAYBE
20.65/10.17	MAYBE
20.65/10.17	
20.65/10.17	Problem:
20.65/10.17	 f(x) -> f(a())
20.65/10.17	
20.65/10.17	Proof:
20.65/10.17	 Open
20.65/10.18	EOF