111.35/30.67	MAYBE
111.35/30.67	
111.35/30.67	Problem:
111.35/30.67	 d(x,x) -> x
111.35/30.67	 f(x) -> d(x,f(x))
111.35/30.67	 a() -> f(a())
111.35/30.67	
111.35/30.67	Proof:
111.35/30.67	 Open
111.35/30.67	EOF