Termination and Productivity by