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