²A termination term is either a single integer or a vector of integers; in the latter case, all components must not be negative.