MAYBE
34.58/10.30	MAYBE
34.58/10.30	
34.58/10.30	Problem:
34.58/10.30	 a(x1) -> x1
34.58/10.30	 a(a(x1)) -> a(b(c(a(x1))))
34.58/10.30	 c(b(x1)) -> a(b(a(x1)))
34.58/10.30	
34.58/10.30	Proof:
34.58/10.30	 Open
34.58/10.31	EOF