MAYBE
39.68/10.38	MAYBE
39.68/10.38	
39.68/10.38	Problem:
39.68/10.38	 a(x1) -> x1
39.68/10.38	 a(x1) -> b(x1)
39.68/10.38	 b(b(c(x1))) -> a(c(c(c(a(a(x1))))))
39.68/10.38	
39.68/10.38	Proof:
39.68/10.38	 Open
39.68/10.39	EOF