MAYBE
103.45/43.95	MAYBE
103.45/43.95	
103.45/43.95	Problem:
103.45/43.95	 a(b(b(x1))) -> b(b(a(a(x1))))
103.45/43.95	 a(a(x1)) -> b(x1)
103.45/43.95	
103.45/43.95	Proof:
103.45/43.95	 Open
103.45/43.95	EOF