70.23/60.01	MAYBE
70.23/60.01	
70.23/60.01	Problem:
70.23/60.01	 f(x,x) -> g()
70.23/60.01	 a() -> b()
70.23/60.01	 a() -> c()
70.23/60.01	 b() -> b()
70.23/60.01	 c() -> c()
70.23/60.01	 f(a(),x) -> g()
70.23/60.01	 f(b(),x) -> g()
70.23/60.01	 f(c(),x) -> g()
70.23/60.01	 f(x,a()) -> g()
70.23/60.01	 f(x,b()) -> g()
70.23/60.01	 f(x,c()) -> g()
70.23/60.01	
70.23/60.01	Proof:
70.23/60.01	 Open
70.23/60.02	EOF