MAYBE
20.81/10.18	MAYBE
20.81/10.18	
20.81/10.18	Problem:
20.81/10.18	 f(x) -> f(g(x))
20.81/10.18	
20.81/10.18	Proof:
20.81/10.18	 Open
20.81/10.19	EOF