MAYBE
138.55/55.36	MAYBE
138.55/55.36	
138.55/55.36	Problem:
138.55/55.36	 a(x1) -> b(c(x1))
138.55/55.36	 a(b(x1)) -> c(a(x1))
138.55/55.36	 c(c(c(x1))) -> a(b(x1))
138.55/55.36	
138.55/55.36	Proof:
138.55/55.36	 Open
138.55/55.37	EOF