Termination could not be proved.