MAYBE
63.44/30.34	MAYBE
63.44/30.34	
63.44/30.34	Problem:
63.44/30.34	 a(x1) -> x1
63.44/30.34	 a(b(x1)) -> b(c(a(x1)))
63.44/30.34	 c(c(x1)) -> b(a(c(a(x1))))
63.44/30.34	
63.44/30.34	Proof:
63.44/30.34	 Open
63.44/30.34	EOF