MAYBE
38.55/10.33	MAYBE
38.55/10.33	
38.55/10.33	Problem:
38.55/10.33	 a(x1) -> x1
38.55/10.33	 a(b(c(x1))) -> c(c(b(b(a(x1)))))
38.55/10.33	 b(x1) -> a(x1)
38.55/10.33	
38.55/10.33	Proof:
38.55/10.33	 Open
38.55/10.33	EOF