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