³If the termination term is a vector of integers, some component i must be decreased while all prior components 0,…,i-1 must stay the same.