MAYBE
126.38/55.25	MAYBE
126.38/55.25	
126.38/55.25	Problem:
126.38/55.25	 a(b(x)) -> b(b(a(x)))
126.38/55.25	
126.38/55.25	Proof:
126.38/55.25	 Open
126.38/55.25	EOF