MAYBE
127.25/55.28	MAYBE
127.25/55.28	
127.25/55.28	Problem:
127.25/55.28	 f(g(x)) -> g(g(f(x)))
127.25/55.28	 f(g(x)) -> g(g(g(x)))
127.25/55.28	
127.25/55.28	Proof:
127.25/55.28	 Open
127.25/55.29	EOF