MAYBE
43.27/12.90	MAYBE
43.27/12.90	
43.27/12.90	Problem:
43.27/12.90	 a(x1) -> x1
43.27/12.90	 a(a(b(x1))) -> b(b(a(a(x1))))
43.27/12.90	 b(b(x1)) -> c(a(x1))
43.27/12.90	
43.27/12.90	Proof:
43.27/12.90	 Open
43.27/12.90	EOF