MAYBE
128.05/55.23	MAYBE
128.05/55.23	
128.05/55.23	Problem:
128.05/55.23	 a(b(x)) -> b(b(a(a(x))))
128.05/55.23	
128.05/55.23	Proof:
128.05/55.23	 Open
128.05/55.24	EOF