MAYBE
38.56/10.41	MAYBE
38.56/10.41	
38.56/10.41	Problem:
38.56/10.41	 a(x1) -> x1
38.56/10.41	 a(a(b(x1))) -> b(b(b(a(a(x1)))))
38.56/10.41	 b(x1) -> c(a(x1))
38.56/10.41	
38.56/10.41	Proof:
38.56/10.41	 Open
38.56/10.41	EOF