MAYBE
53.08/23.23	MAYBE
53.08/23.23	
53.08/23.23	Problem:
53.08/23.23	 a(x1) -> x1
53.08/23.23	 a(a(x1)) -> b(c(x1))
53.08/23.23	 a(b(b(x1))) -> b(b(a(a(x1))))
53.08/23.23	
53.08/23.23	Proof:
53.08/23.23	 Open
53.08/23.24	EOF