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