MAYBE
37.09/10.38	MAYBE
37.09/10.38	
37.09/10.38	Problem:
37.09/10.38	 c(c(c(c(x1)))) -> b(b(b(b(x1))))
37.09/10.38	 b(b(x1)) -> x1
37.09/10.38	 b(b(x1)) -> c(b(c(x1)))
37.09/10.38	
37.09/10.38	Proof:
37.09/10.38	 Open
37.09/10.38	EOF