Termination proof (draft).