MAYBE
37.48/10.33	MAYBE
37.48/10.33	
37.48/10.33	Problem:
37.48/10.33	 a(x1) -> x1
37.48/10.33	 a(a(b(x1))) -> b(a(b(a(a(x1)))))
37.48/10.33	 b(b(x1)) -> b(x1)
37.48/10.33	
37.48/10.33	Proof:
37.48/10.33	 Open
37.48/10.33	EOF