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