All programs end, but not all of them halt.