70.43/60.05	MAYBE
70.43/60.05	
70.43/60.05	Problem:
70.43/60.05	 f(x,x) -> g()
70.43/60.05	 a() -> b()
70.43/60.05	 a() -> c()
70.43/60.05	 b() -> b()
70.43/60.05	 c() -> c()
70.43/60.05	 f(a(),x) -> g()
70.43/60.05	 f(b(),x) -> g()
70.43/60.05	 f(c(),x) -> g()
70.43/60.05	 f(x,a()) -> g()
70.43/60.05	 f(x,b()) -> g()
70.43/60.05	 f(x,c()) -> g()
70.43/60.05	
70.43/60.05	Proof:
70.43/60.05	 Open
70.43/60.06	EOF