MAYBE
40.35/10.55	MAYBE
40.35/10.55	
40.35/10.55	Problem:
40.35/10.55	 a(b(x1)) -> x1
40.35/10.55	 a(c(x1)) -> c(c(c(b(x1))))
40.35/10.55	 b(c(x1)) -> a(b(x1))
40.35/10.55	
40.35/10.55	Proof:
40.35/10.55	 Open
40.35/10.55	EOF