Update 4-termination.md