MAYBE
53.64/17.14	MAYBE
53.64/17.14	
53.64/17.14	Problem:
53.64/17.14	 a(a(a(b(x1)))) -> b(a(b(a(a(a(x1))))))
53.64/17.14	 b(a(x1)) -> x1
53.64/17.14	
53.64/17.14	Proof:
53.64/17.14	 Open
53.64/17.14	EOF