MAYBE
137.57/55.30	MAYBE
137.57/55.30	
137.57/55.30	Problem:
137.57/55.30	 a(a(x1)) -> b(x1)
137.57/55.30	 a(b(x1)) -> c(a(x1))
137.57/55.30	 b(c(x1)) -> c(b(a(x1)))
137.57/55.30	
137.57/55.30	Proof:
137.57/55.30	 Open
137.57/55.31	EOF