MAYBE
103.95/55.35	MAYBE
103.95/55.35	
103.95/55.35	Problem:
103.95/55.35	 a(x1) -> x1
103.95/55.35	 a(a(b(x1))) -> c(c(b(a(x1))))
103.95/55.35	 b(c(x1)) -> a(b(x1))
103.95/55.35	
103.95/55.35	Proof:
103.95/55.35	 Open
103.95/55.35	EOF