MAYBE
42.28/12.41	MAYBE
42.28/12.41	
42.28/12.41	Problem:
42.28/12.41	 a(x1) -> x1
42.28/12.41	 a(b(b(x1))) -> b(b(a(b(c(a(x1))))))
42.28/12.41	 b(c(x1)) -> x1
42.28/12.41	
42.28/12.41	Proof:
42.28/12.41	 Open
42.28/12.42	EOF