MAYBE
80.23/51.90	MAYBE
80.23/51.90	
80.23/51.90	Problem:
80.23/51.90	 a(x1) -> x1
80.23/51.90	 a(b(x1)) -> c(b(c(a(x1))))
80.23/51.90	 c(c(x1)) -> c(b(a(x1)))
80.23/51.90	
80.23/51.90	Proof:
80.23/51.90	 Open
80.23/51.90	EOF