Improve termination proof.